Term Rewriting Systems
Terese
Produseres på bestilling
Leveringstid: 3-10 dager
Handlinger
Beskrivelse
Omtale
A comprehensive 2003 treatment of term rewriting systems from an elementary to an advanced level. Much of this material appeared here for the first time in book form. Ideal for teaching or research, it features numerous exercises with selected solutions on the web, an extensive bibliography and a chapter on applications.
-
Utgivelsesdato:
20.03.2003
-
ISBN/Varenr:
9780521391153
-
Språk:
Engelsk
-
Forlag:
Cambridge University Press
-
Innbinding:
Innbundet
-
Fagtema:
Data- og informasjonsteknologi
-
Serie:
Cambridge Tracts in Theoretical Computer Science
-
Litteraturtype:
Faglitteratur
-
Sider:
908
-
Høyde:
22.7 cm
-
Bredde:
29.2 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
Topological Duality for Distributive Lattices : Theory and Applications
Gehrke, Mai • van Gool, Sam
9781009349697 Innbundet
07.03.2024
Engelsk
I salg
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