Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarHandbook of Theoretical Computer Science, Volume B: Formal Models and Sematics, 1990
Jan van Leeuwen:
Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics. Elsevier and MIT Press 1990, ISBN 0-444-88074-7Dominique Perrin:
Finite Automata. 1-57Jean Berstel, Luc Boasson:
Context-Free Languages. 59-102Arto Salomaa:
Formal Languages and Power Series. 103-132Wolfgang Thomas:
Automata on Infinite Objects. 133-191Bruno Courcelle:
Graph Rewriting: An Algebraic and Logic Approach. 193-242Nachum Dershowitz, Jean-Pierre Jouannaud:
Rewrite Systems. 243-320Hendrik Pieter Barendregt:
Functional Programming and Lambda Calculus. 321-363John C. Mitchell:
Type Systems for Programming Languages. 365-458Bruno Courcelle:
Recursive Applicative Program Schemes. 459-492Krzysztof R. Apt:
Logic Programming. 493-574Peter D. Mosses:
Denotational Semantics. 575-631Carl A. Gunter, Dana S. Scott:
Semantic Domains. 633-674Martin Wirsing:
Algebraic Specification. 675-788Dexter Kozen, Jerzy Tiuryn:
Logics of Programs. 789-840Patrick Cousot:
Methods and Logics for Proving Programs. 841-993E. Allen Emerson:
Temporal and Modal Logic. 995-1072Paris C. Kanellakis:
Elements of Relational Database Theory. 1073-1156Leslie Lamport, Nancy A. Lynch:
Distributed Computing: Models and Methods. 1157-1199Robin Milner:
Operational and Algebraic Semantics of Concurrent Processes. 1201-1242
last updated on 2019-09-20 21:53 CEST by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
