1
Izdano 2006
Kazalo: ... Views on Data Types -- Recursion Schemes for Dynamic Programming -- Bimonadic Semantics for Basic...
Polni tekst
Elektronski eKnjiga
2
Izdano 2013
Kazalo: ...-Physical Systems -- Embedding Functions into Disjunctive Logic Programs -- Reactive Designs of Interrupts...
Polni tekst
Elektronski eKnjiga
3
Izdano 2008
Kazalo: ... of Computer Science -- Recursive Domain Equations of Filter Models -- Algorithmic Problems for Metrics...
Polni tekst
Elektronski eKnjiga
4
Izdano 2005
Kazalo: ... Evaluation -- Local Computations on Closed Unlabelled Edges: The Election Problem and the Naming Problem -- A...
Polni tekst
Elektronski eKnjiga
5
Izdano 2010
Kazalo: ... Provers for Basic Hybrid Logic -- Induction -- Automated Synthesis of Induction Axioms for Programs...
Polni tekst
Elektronski eKnjiga