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