Topological Duality for Distributive Lattices : Theory and Applications
Mai (Universite Cote d’Azur) Gehrke
Out of stock
Format: Book (Hardback)
Topological Duality for Distributive Lattices : Theory and Applications
Mai (Universite Cote d’Azur) Gehrke
Download - Immediately Available
Format: eBook (PDF)
Modal Logic
Patrick Blackburn
In Stock - usually despatched within 24 hours
Format: Book (Paperback / softback)
Basic Proof Theory
A. S. (Universiteit van Amsterdam) Troelstra
In Stock - usually despatched within 24 hours
Format: Book (Paperback / softback)
£42.99
£42.35
In Stock - usually despatched within 24 hours
Book (Paperback / softback)
Add to Basket
Lambda-calculus, Combinators and Functional Programming
G. E. Revesz
Out of stock
Format: Book (Paperback / softback)
Topology via Logic
Steven (Imperial College of Science, Technology and Medicine, Vickers
Out of stock
Format: Book (Paperback / softback)
Introduction to Coalgebra : Towards Mathematics of States and Observation
Bart (Radboud Universiteit Nijmegen) Jacobs
Out of stock
Format: Book (Hardback)
Free Choice Petri Nets
Jorg (Humboldt-Universitat zu Berlin) Desel
Out of stock
Format: Book (Paperback / softback)
Basic Simple Type Theory
J. Roger (University of Wales, Swansea) Hindley
Out of stock
Format: Book (Hardback)
Computational Learning Theory
M. H. G. (London School of Economics and Political Science) Anthony
Out of stock
Format: Book (Paperback / softback)
Epistemic Logic for AI and Computer Science
J.-J. Ch. (Universiteit Utrecht, The Netherlands) Meyer
Out of stock
Format: Book (Paperback / softback)
Data Refinement : Model-Oriented Proof Methods and their Comparison
Willem-Paul (Christian-Albrechts Universitat zu Kiel, Germa de Roever
Out of stock
Format: Book (Hardback)
Temporal Logics in Computer Science : Finite-State Systems
Stephane (Centre National de la Recherche Scientifique (CNRS), Demri
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£102.00
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to Basket
Programs, Recursion and Unbounded Choice
Wim H. Hesselink
Out of stock
Format: Book (Paperback / softback)
Nets, Terms and Formulas : Three Views of Concurrent Processes and their Relationship
E. -R. (Carl V. Ossietzky Universitat Oldenburg, Germany) Olderog
Out of stock
Format: Book (Paperback / softback)
Two-Level Functional Languages
Flemming (Aarhus Universitet, Denmark) Nielson
Out of stock
Format: Book (Paperback / softback)
Extensions of First-Order Logic
Maria (Universitat de Barcelona) Manzano
Out of stock
Format: Book (Paperback / softback)
The Logic of Typed Feature Structures : With Applications to Unification Grammars, Logic Programs and Constraint Resolution
Robert L. (Carnegie Mellon University, Pennsylvania) Carpenter
Out of stock
Format: Book (Paperback / softback)
Deductive and Declarative Programming
Peter Padawitz
Out of stock
Format: Book (Paperback / softback)
The Uncertain Reasoner's Companion : A Mathematical Perspective
J. B. (University of Manchester) Paris
Out of stock
Format: Book (Paperback / softback)
Understanding Z : A Specification Language and its Formal Semantics
J. M. (University of Oxford) Spivey
Out of stock
Format: Book (Paperback / softback)
Basic Simple Type Theory
J. Roger (University of Wales, Swansea) Hindley
Out of stock
Format: Book (Paperback / softback)
Domains and Lambda-Calculi
Roberto M. (Universite de Provence) Amadio
Out of stock
Format: Book (Paperback / softback)
