Logic and Program Semantics
Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
We couldn't estimate the reading time for this book.
Author
Contributions
- Silva, Alexandra - Contributor
- SpringerLink (Online service) - Contributor
Publication
2012 - Springer Berlin Heidelberg, Berlin, Heidelberg, Germany
Language
English
Word Count
0 words, Guess
Page Count
0 pages
Physical Format
Electronic resource
Identifiers
- Internet Archivelogicprogramsema00andr
- ISBN-139783642294853
- ISBN-103642294855
- Better World Books9783642294853
- Open LibraryOL27071641M
Classifications
- LCCQA75.5-76.95
Subjects
Series Statement
- Lecture Notes in Computer Science -- 7230
Similar Books
Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers
edited by Farhad Arbab, Peter Csaba Ölveczky
Reliable Software Technologies - Ada-Europe 2011: 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings
edited by Alexander Romanovsky, Tullio Vardanega
Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
edited by Sergei Artemov, Anil Nerode
Relational and Algebraic Methods in Computer Science: 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings
Peter Jipsen, Michael Winter, Uli Fahrenberg, Peter Höfner, Martin Eric Müller, Wolfram Kahl
Membrane Computing: 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers
Arto Salomaa, Marian Gheorghe, Claudio Zandron, Grzegorz Rozenberg, Petr Sosík
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!