Normal view MARC view ISBD view

J van Leeuwen

Handbook of theoretical computer science / edited by Jan van Leeuwen. - First MIT Press paperback edition. - Amsterdam ; New York : ; Cambridge, Elsevier Mass MIT Press, 1990. - 2 volumes : illustrations ; 25 cm.

Includes bibliographical references and indexes

CHAPTER 1. Finite Automata
CHAPTER 2. Context - Free Languages
CHAPTER 3. Formal Languages and Power Series
CHAPTER 4. Automata on infinite objects
CHAPTER 5. Graph rewriting: An algebraic and logic approach
CHAPTER 6. Rewrite systems
CHAPTER 7. Functional programming and lambda calculus
CHAPTER 8. Type systems for programming languages
CHAPTER 9. Recursive Applicative program schemes
CHAPTER 10. Logic programming
CHAPTER 11. Denominational semantics
CHAPTER 12. Semantic domains
CHAPTER 13. Algebraic specification
CHAPTER 14. Logics of programs
CHAPTER 15. Methods and logics for proving programs
CHAPTER 16. Temporal and modal logic
CHAPTER 17. elements of relational data theory
CHAPTER 18. Distributed computing: Models and methods
CHAPTER 19. Operational and algebraic semantics of concurrent processes

ISBN: 9780262720205 0444880712 0333880749 0262220407 0262720205 0262220385 0262720140 0262220393 0262720159

ISSN: 9780262720151

Subjects--Topical Terms:
Computer science.

LC Class. No.: QA76 / .H279