search result

Cover von Topological Duality for Distributive Lattices

Topological Duality for Distributive Lattices
Theory and Applications
Author: Gehrke, Mai; Gool, Samuel J. van Search for this author
Year: 2024
Publisher: Cambridge, Cambridge University Press
Series: Cambridge tracts in theoretical computer science; 61
Media group: MONOGRAPHIE
Cover von Initial Algebras and Terminal Coalgebras

Initial Algebras and Terminal Coalgebras
The Theory of Fixed Points of Functors
Author: Adámek, Jiří; Milius, Stefan; Moss, Lawrence S. Search for this author
Year: 2025
Publisher: Cambridge, Cambridge University Press
Series: Cambridge tracts in theoretical computer science; 62
Media group: MONOGRAPHIE
Cover von Propositional logic

Propositional logic
deduction and algorithms
Author: Kleine Büning, Hans; Lettmann, Theodor Search for this author
Year: 1999
Publisher: Cambridge, Cambridge University Press
Series: Cambridge tracts in theoretical computer science; 48
Media group: MONOGRAPHIE
Cover von Hybrid graph theory and network analysis

Hybrid graph theory and network analysis
Author: Novak, Ladislav Anker; Gibbons, Alan Search for this author
Year: 1999
Publisher: Cambridge, Cambridge University Press
Series: Cambridge tracts in theoretical computer science; 49
Media group: MONOGRAPHIE
Cover von Data refinement

Data refinement
model-oriented proof methods and their comparison
Author: Roever, Willem-Paul de; Engelhardt, Kai Search for this author
Year: 1998
Publisher: Cambridge, Cambridge University Press
Series: Cambridge tracts in theoretical computer science; 47
Media group: MONOGRAPHIE
Cover von Information flow

Information flow
the logic of distributed systems
Author: Barwise, Jon; Seligman, Jerry Search for this author
Year: 1997
Publisher: Cambridge, Cambridge University Press
Series: Cambridge tracts in theoretical computer science; 44
Media group: MONOGRAPHIE
Cover von The optimal implementation of functional programming languages

The optimal implementation of functional programming languages
Author: Asperti, Andrea; Guerrini, Stefano Search for this author
Year: 1998
Publisher: Cambridge, Cambridge University Press
Series: Cambridge tracts in theoretical computer science; 45
Media group: MONOGRAPHIE
Cover von Domains and lambda-calculi

Domains and lambda-calculi
Author: Amadio, Roberto M.; Curien, Pierre-Louis Search for this author
Year: 1998
Publisher: New York, Cambridge University Press
Series: Cambridge tracts in theoretical computer science; 46
Media group: MONOGRAPHIE
Cover von Basic simple type theory

Basic simple type theory
Author: Hindley, James Roger Search for this author
Year: 1997
Publisher: Cambridge, Cambridge University Press
Series: Cambridge tracts in theoretical computer science; 42
Media group: MONOGRAPHIE
Cover von Metamathematics, machines, and Gödels's proof

Metamathematics, machines, and Gödels's proof
Author: Shankar, Natarajan Search for this author
Year: 1994
Publisher: Cambridge, Cambridge University Press
Series: Cambridge tracts in theoretical computer science; 38
Media group: MONOGRAPHIE
OPEN V 11.1.0.0