Logic
Journal of the IGPL (Interest Group in Pure and Applied Logics)
Volume 14, Number 5, October 2006
Oxford University Press
Special Issue:
Logics and Models of Computation: An
International Logic and Computer Science Semester at Tel Aviv
Guest Editors: Arnon Avron, Nachum Dershowitz and Alexander Rabinovich
Contents (links to pre-publication versions):
- “Editorial”, Arnon Avron, Nachum Dershowitz and Alexander Rabinovich, 631
- “Comparing Computational Power”, Udi Boker and Nachum Dershowitz, 633-648
- “Undecidability over Continuous Time”, Jerzy Mycka and José Félix Costa, 649-658
- “A Lambek Automaton”, Tatyana Veksler and Nissim Francez, 659-708
- “Naming and Diagonalization, from Cantor to Gödel to Kleene”, Haim Gaifman, 709-728
- “Adaptive Model Checking”, Alex Groce, Doron Peled and Mihalis Yannakakis, 729-744
- “After Gödel”, Hilary Putnam, 745-754
- “Verifying Temporal Heap Properties Specified via Evolution Logic”, E. Yahav, T. Reps, M. Sagiv and R. Wilhelm, 755-784
- “Querying Hyperset/Web-Like Databases”, Vladimir Sazonov, 785-814
- “Satisfiability Decay along Conjunctions of Pseudo-Random Clauses”, Eli Shamir, 815-825
- “Acknowledgements”, 826
See http://www.oup.co.uk/igpl