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

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > (missing label)

- view
  - electronic edition @ sciencedirect.com
  - no references & citations available
- export record
  dblp key:
  - books/el/Leeuwen90a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/el/Leeuwen90a
Jan van Leeuwen:
Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics. Elsevier and MIT Press 1990, ISBN 0-444-88074-7
- view
- export record
  dblp key:
  - books/el/leeuwen90/Perrin90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/el/leeuwen90/Perrin90
Dominique Perrin:
Finite Automata. 1-57
- view
- export record
  dblp key:
  - books/el/leeuwen90/BerstelB90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/el/leeuwen90/BerstelB90
Jean Berstel, Luc Boasson:
Context-Free Languages. 59-102
- view
- export record
  dblp key:
  - books/el/leeuwen90/Salomaa90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/el/leeuwen90/Salomaa90
Arto Salomaa:
Formal Languages and Power Series. 103-132
- view
- export record
  dblp key:
  - books/el/leeuwen90/Thomas90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/el/leeuwen90/Thomas90
Wolfgang Thomas:
Automata on Infinite Objects. 133-191
- view
- export record
  dblp key:
  - books/el/leeuwen90/Courcelle90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/el/leeuwen90/Courcelle90
Bruno Courcelle:
Graph Rewriting: An Algebraic and Logic Approach. 193-242
- view
- export record
  dblp key:
  - books/el/leeuwen90/DershowitzJ90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/el/leeuwen90/DershowitzJ90
Nachum Dershowitz, Jean-Pierre Jouannaud:
Rewrite Systems. 243-320
- view
- export record
  dblp key:
  - books/el/leeuwen90/Barendregt90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/el/leeuwen90/Barendregt90
Hendrik Pieter Barendregt:
Functional Programming and Lambda Calculus. 321-363
- view
- export record
  dblp key:
  - books/el/leeuwen90/Mitchell90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/el/leeuwen90/Mitchell90
John C. Mitchell:
Type Systems for Programming Languages. 365-458
- view
- export record
  dblp key:
  - books/el/leeuwen90/Courcelle90a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/el/leeuwen90/Courcelle90a
Bruno Courcelle:
Recursive Applicative Program Schemes. 459-492
- view
- export record
  dblp key:
  - books/el/leeuwen90/Apt90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/el/leeuwen90/Apt90
Krzysztof R. Apt:
Logic Programming. 493-574
- view
  authority control:
- export record
  dblp key:
  - books/el/leeuwen90/Mosses90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/el/leeuwen90/Mosses90
Peter D. Mosses:
Denotational Semantics. 575-631
- view
- export record
  dblp key:
  - books/el/leeuwen90/GunterS90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/el/leeuwen90/GunterS90
Carl A. Gunter, Dana S. Scott:
Semantic Domains. 633-674
- view
- export record
  dblp key:
  - books/el/leeuwen90/Wirsing90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/el/leeuwen90/Wirsing90
Martin Wirsing:
Algebraic Specification. 675-788
- view
- export record
  dblp key:
  - books/el/leeuwen90/KozenT90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/el/leeuwen90/KozenT90
Dexter Kozen, Jerzy Tiuryn:
Logics of Programs. 789-840
- view
- export record
  dblp key:
  - books/el/leeuwen90/Cousot90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/el/leeuwen90/Cousot90
Patrick Cousot:
Methods and Logics for Proving Programs. 841-993
- view
- export record
  dblp key:
  - books/el/leeuwen90/Emerson90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/el/leeuwen90/Emerson90
E. Allen Emerson:
Temporal and Modal Logic. 995-1072
- view
- export record
  dblp key:
  - books/el/leeuwen90/Kanellakis90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/el/leeuwen90/Kanellakis90
Paris C. Kanellakis:
Elements of Relational Database Theory. 1073-1156
- view
- export record
  dblp key:
  - books/el/leeuwen90/LamportL90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/el/leeuwen90/LamportL90
Leslie Lamport, Nancy A. Lynch:
Distributed Computing: Models and Methods. 1157-1199
- view
- export record
  dblp key:
  - books/el/leeuwen90/Milner90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/el/leeuwen90/Milner90
Robin Milner:
Operational and Algebraic Semantics of Concurrent Processes. 1201-1242

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.