Topological Duality for Distributive Lattices : Theory and Applications
Gehrke, Mai van Gool, Sam
I salg
Leveringstid: 7-30 dager
Handlinger
Beskrivelse
Omtale
This introduction to Stone–Priestley duality theory brings modern tools in the area together in textbook format for the first time and covers applications to logic and theoretical computer science. This book is for undergraduates, graduate students, and researchers in lattice theory, algebra, topology, logic, and theoretical computer science.
-
Utgivelsesdato:
07.03.2024
-
ISBN/Varenr:
9781009349697
-
Språk:
Engelsk
-
Forlag:
Cambridge University Press
-
Innbinding:
Innbundet
-
Fagtema:
Matematikk og naturvitenskap
-
Serie:
Cambridge Tracts in Theoretical Computer Science
-
Litteraturtype:
Faglitteratur
-
Sider:
367
-
Høyde:
17.5 cm
-
Bredde:
25.1 cm
Andre bøker i samme serie
Syntax and Semantics of Petri Nets
Gorrieri, Roberto
9781009613286 Innbundet
31.08.2025
Engelsk
Forventes utgitt
Initial Algebras and Terminal Coalgebras : The Theory of Fixed Points of Functors
Adamek, Jiri • Milius, Stefan • Moss, Lawrence S.
9781108835466 Innbundet
06.02.2025
Engelsk
Produseres på bestilling
Finite-State Techniques : Automata, Transducers and Bimachines
Schulz, Klaus U. • Mihov, Stoyan
9781108485418 Innbundet
01.08.2019
Engelsk
I salg
Introduction to Coalgebra : Towards Mathematics of States and Observation
Jacobs, Bart
9781107177895 Innbundet
27.10.2016
Engelsk
Produseres på bestilling
Temporal Logics in Computer Science : Finite-State Systems
Lange, Martin • Goranko, Valentin • Demri, Stephane , Paris)
9781107028364 Innbundet
13.10.2016
Engelsk
I salg
Nominal Sets : Names and Symmetry in Computer Science
Pitts, Andrew M.
9781107017788 Innbundet
30.05.2013
Engelsk
Produseres på bestilling
Process Algebra: Equational Theories of Communicating Processes
Baeten, J. C. M. • Basten, T. • Reniers, M. A.
9780521820493 Innbundet
16.12.2009
Engelsk
Produseres på bestilling
Concurrency Verification : Introduction to Compositional and Non-compositional Methods
Boer, Frank de • Lakhnech, Yassine • Roever, Willem-Paul de • Hanneman, Ulrich • Poel, Mannes • Hooman, Jozef • Zwiers, Job
9780521806084 Innbundet
26.11.2001
Engelsk
Produseres på bestilling