Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Alternatieven:
programming recursion » programming decision, programming session, programming decisions
computing programming » computer programming, computers programming
functions computing » function computing, functions combining, functions computer
recursion logic » decision logic, recursive logical
programming recursion » programming decision, programming session, programming decisions
computing programming » computer programming, computers programming
functions computing » function computing, functions combining, functions computer
recursion logic » decision logic, recursive logical
1
Gepubliceerd in 2013
Inhoudsopgave:
“... -- Continuous Domain Theory in Logical Form -- Presheaf Models of Quantum Computation: An Outline -- Nothing Can...”Volledige tekst
Elektronisch
E-boek
2
Gepubliceerd in 2005
Inhoudsopgave:
“... -- On the Complexity of Universal Programs -- Finite Sets of Words and Computing -- Universality and Cellular Automata...”Volledige tekst
Elektronisch
E-boek
3
Inhoudsopgave:
“...Introduction -- Part I: Mathematics for Computer Science -- Propositional Logic -- Sets -- Boolean...”
Volledige tekst
Volledige tekst
Elektronisch
E-boek
4
Gepubliceerd in 2005
Inhoudsopgave:
“... and Recursive Types Logically -- The Language ?: Circuits, Computations and Classical Logic -- Checking Risky...”Volledige tekst
Elektronisch
E-boek
5
Gepubliceerd in 2008
Inhoudsopgave:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Volledige tekst
Elektronisch
E-boek
6
Gepubliceerd in 2014
Inhoudsopgave:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Volledige tekst
Elektronisch
E-boek
7
Gepubliceerd in 2005
Inhoudsopgave:
“...-Approximation Algorithm for Block Sorting -- Computational and Structural Complexity -- On the Power...”Volledige tekst
Elektronisch
E-boek
8
Gepubliceerd in 2010
Inhoudsopgave:
“... Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions -- Combining Theorem Proving and Narrowing...”Volledige tekst
Elektronisch
E-boek
9
Gepubliceerd in 2005
Inhoudsopgave:
“... Computing -- Interactive Algorithms 2005 -- Some Computational Issues in Membrane Computing...”Volledige tekst
Elektronisch
E-boek
10
Gepubliceerd in 2006
Inhoudsopgave:
“... Result -- Incremental Branching Programs -- Logic of Proofs for Bounded Arithmetic -- On a Maximal NFA...”Volledige tekst
Elektronisch
E-boek