𝔖 Scriptorium
✦   LIBER   ✦
πŸ“

Logic and automata: History and perspectives

✍ Scribed by Jorg Flum, Erich Gradel, Thomas Wilke

Publisher
Amsterdam University Press
Year
2008
Tongue
English
Leaves
737
Series
Amsterdam University Press - Texts in Logic and Games
Edition
U.Amsterdam
Category
Library
⬇  Acquire This Volume

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Logic and Automata: History and Perspect
πŸ“ Logic and Automata: History and Perspectives
✍ Jorg Flum, Erich Gradel, Thomas Wilke πŸ“‚ Library πŸ“… 2008 πŸ› Amsterdam University Press 🌐 English

Mathematical logic and automata theory are two scientific disciplines with a fundamentally close relationship. The authors of Logic and Automata take the occasion of the sixtieth birthday of Wolfgang Thomas to present a tour d’horizon of automata theory and logic. The twenty papers in this volume co

Logic and Automata. History and Perspect
πŸ“ Logic and Automata. History and Perspectives
✍ Flum J., GrΣ“del E., Wilke T. (eds.) πŸ“‚ Library 🌐 English

Π˜Π·Π΄Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²ΠΎ Amsterdam University Press, 2008, -737 pp.<div class="bb-sep"></div>Mathematical logic and automata theory are two scientific disciplines with a close relationship that is not only fundamental for many theoretical results but also forms the basis of a coherent methodology for the verifi

Logic and Automata: History and Perspect
πŸ“ Logic and Automata: History and Perspectives (Texts in Logic and Games) (Volume 2)
✍ Erich GrΓ€del (editor), JΓΆrg Flum (editor), Thomas Wilke (editor) πŸ“‚ Library πŸ“… 2007 πŸ› Amsterdam University Press 🌐 English

<span>Mathematical logic and automata theory are two scientific disciplines with a fundamentally close relationship. The authors of Logic and Automata take the occasion of the sixtieth birthday of Wolfgang Thomas to present a tour d’horizon of automata theory and logic. The twenty papers in this vol