Priporočene teme znotraj vašega iskanja.
Priporočene teme znotraj vašega iskanja.
Poišči alternative:
computation programming » communication programming, computation programmatic, computing programming
functions computation » function computation, functions composition, function composition
programming recursive » programming recursion, programming reversible, programming secure
recursive logical » recursive digital
logical circuits » logic circuits, biological circuits, cortical circuits
computation programming » communication programming, computation programmatic, computing programming
functions computation » function computation, functions composition, function composition
programming recursive » programming recursion, programming reversible, programming secure
recursive logical » recursive digital
logical circuits » logic circuits, biological circuits, cortical circuits
1
Izdano 2007
Kazalo:
“... -- On Finitely Recursive Programs -- Minimal Logic Programs -- Generic Tableaux for Answer Set Programming...”Polni tekst
Elektronski
eKnjiga
2
Izdano 2007
Kazalo:
“...: An Update -- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice...”Polni tekst
Elektronski
eKnjiga
3
Izdano 2013
Kazalo:
“... -- Continuous Domain Theory in Logical Form -- Presheaf Models of Quantum Computation: An Outline -- Nothing Can...”Polni tekst
Elektronski
eKnjiga
4
Kazalo:
“... Algebras and Circuits -- Predicate Logic -- Proof Strategies -- Functions -- Relations -- Inductive...”
Polni tekst
Polni tekst
Elektronski
eKnjiga
5
Izdano 2005
Kazalo:
“... -- On the Complexity of Universal Programs -- Finite Sets of Words and Computing -- Universality and Cellular Automata...”Polni tekst
Elektronski
eKnjiga
6
Izdano 2005
Kazalo:
“...Invited Papers -- On the Correctness of Operating System Kernels -- Alpha-Structural Recursion...”Polni tekst
Elektronski
eKnjiga
7
Izdano 2005
Kazalo:
“... and Recursive Types Logically -- The Language ?: Circuits, Computations and Classical Logic -- Checking Risky...”Polni tekst
Elektronski
eKnjiga
8
Izdano 2008
Kazalo:
“..., and Regular Expression Size -- Leftist Grammars Are Non-primitive Recursive -- On the Computational...”Polni tekst
Elektronski
eKnjiga
9
Izdano 2008
Kazalo:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Polni tekst
Elektronski
eKnjiga
10
Izdano 2014
Kazalo:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Polni tekst
Elektronski
eKnjiga
11
Kazalo:
“...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...”
Polni tekst
Polni tekst
Elektronski
eKnjiga
12
Izdano 2005
Kazalo:
“... Analysis of Algorithms -- Path Coupling Using Stopping Times -- Circuits -- On the Incompressibility...”Polni tekst
Elektronski
eKnjiga
13
Izdano 2010
Kazalo:
“... and Test Generation for C Program Debugging -- Generating High-Quality Tests for Boolean Circuits...”Polni tekst
Elektronski
eKnjiga
14
Izdano 2005
Kazalo:
“... Computing -- Interactive Algorithms 2005 -- Some Computational Issues in Membrane Computing...”Polni tekst
Elektronski
eKnjiga
15
Izdano 2012
Kazalo:
“... in Parameterized Algorithmics -- Scott Is Always Simple -- Simple Models for Recursive Schemes -- Unordered...”Polni tekst
Elektronski
eKnjiga
16
Izdano 2006
Kazalo:
“... Result -- Incremental Branching Programs -- Logic of Proofs for Bounded Arithmetic -- On a Maximal NFA...”Polni tekst
Elektronski
eKnjiga
17
Izdano 2006
Kazalo:
“... -- Predicate Abstraction of Programs with Non-linear Computation -- A Fresh Look at Testing for Asynchronous...”Polni tekst
Elektronski
eKnjiga