Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics, 1990

Jan van Leeuwen (Ed.): Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics. Elsevier and MIT Press 1990, ISBN 0-444-88074-7,0-262-22039-3 BibTeX

Dominique Perrin: Finite Automata. 1-57 BibTeX
Jean Berstel, Luc Boasson: Context-Free Languages. 59-102 BibTeX
Arto Salomaa: Formal Language and Power Series. 103-132 BibTeX
Wolfgang Thomas: Automata on Infinite Objects. 133-192 BibTeX
Bruno Courcelle: Graph Rewriting: An Algebraic and Logic Approach. 193-242 BibTeX
Nachum Dershowitz, Jean-Pierre Jouannaud: Rewrite Systems. 243-320 BibTeX
Hendrik Pieter Barendregt: Functional Programming and Lambda Calculus. 321-363 BibTeX
John C. Mitchell: Type Systems for Programming Languages. 365-458 BibTeX
Bruno Courcelle: Recursive Applicative Program Schemes. 459-492 BibTeX
Krzysztof R. Apt: Logic Programming. 493-574 BibTeX
Peter D. Mosses: Denotational Semantics. 575-631 BibTeX
Carl A. Gunter, Dana S. Scott: Semantic Domains. 633-674 BibTeX
Martin Wirsing: Algebraic Specification. 675-788 BibTeX
Dexter Kozen, Jerzy Tiuryn: Logics of Programs. 789-840 BibTeX
Patrick Cousot: Methods and Logics for Proving Programs. 841-994 BibTeX
E. Allen Emerson: Temporal and Modal Logic. 995-1072 BibTeX
Paris C. Kanellakis: Elements of Relational Database Theory. 1073-1156 BibTeX
Leslie Lamport, Nancy A. Lynch: Distributed Computing: Models and Methods. 1157-1199 BibTeX
Robin Milner: Operational and Algebraic Semantics of Concurrent Processes. 1201-1242 BibTeX