TY  - BOOK
AU  - J van Leeuwen
AU  - Leeuwen,J.van
TI  - Handbook of theoretical computer science
SN  - 9780262720205
SN  - 978026272
AV  - QA76 .H279
PY  - 1990///
CY  - Amsterdam,  New York :
PB  -  Cambridge, ,  Elsevier, Mass, MIT Press, 
KW  - Computer science
N1  - 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
ER  -