01624nam a2200265Ia 4500020001800000020001500018020001500033020001500048020001500063020001500078020001500093020001500108020001500123022001800138050001600156100001800172245007500190250003900265260008200304300004100386500005300427505083600480650002201316700002001338  a9780262720205  a0444880712  a0333880749  a0262220407  a0262720205  a0262220385  a0262720140  a0262220393  a0262720159  a9780262720151  aQA76b.H279  aJ van Leeuwen00aHandbook of theoretical computer science /cedited by Jan van Leeuwen.  aFirst MIT Press paperback edition.  aAmsterdam ;a New York : ;b Cambridge, b ElsevierbMassbMIT Press, c1990.  a2 volumes :billustrations ;c25 cm.  aIncludes bibliographical references and indexes   aCHAPTER 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  0aComputer science.1 aLeeuwen, J. van