J van Leeuwen creator Leeuwen, J. van text Amsterdam New York Cambridge Elsevier Mass MIT Press 1990 First MIT Press paperback edition. monographic 2 volumes : illustrations ; 25 cm. 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 edited by Jan van Leeuwen. Includes bibliographical references and indexes Computer science QA76 .H279 9780262720205 0444880712 0333880749 0262220407 0262720205 0262220385 0262720140 0262220393 0262720159 9780262720151