01688nam a2200289Ia 4500 6230 6230 9780262720205 0444880712 0333880749 0262220407 0262720205 0262220385 0262720140 0262220393 0262720159 9780262720151 QA76 .H279 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 Computer science. Leeuwen, J. van BK 0 0 0 0 REF MUCGM MUCGM GEN 2009-10-13 0 QA76 .H279 35344 2019-09-13 00:00:00 2019-09-13 BK