Author:
Blass Andreas,Gurevich Yuri
Publisher
Springer Berlin Heidelberg
Reference6 articles.
1. Andreas Blass, Yuri Gurevich and Saharon Shelah, “Choiceless Polynomial Time”, Annals of Pure and Applied Logic 100 (1999), 141–187.
2. Herbert B. Enderton, “A Mathematical Introduction to Logic,” Academic Press.
3. Robin Gandy, “Church’s thesis and principles for mechanisms” in: “The Kleene Symposium” (ed. J. Barwise et al.), North-Holland, 1980, 123–148.
4. “Evolving Algebras: An Attempt to Discover Semantics”, Bulletin of European Assoc. for Theor. Computer Science, no. 43, Feb. 1991, 264–284. A slightly revised version appeared in G. Rozenberg and A. Salomaa, editors, “Current Trends in Theoretical Computer Science”, World Scientific, 1993, 266–292.
5. Yuri Gurevich, “Evolving Algebra 1993: Lipari Guide”, in “Specification and Validation Methods”, Ed. E. Boerger, Oxford University Press, 1995, 9–36.
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Σ K –constraints for Hybrid Systems;Perspectives of Systems Informatics;2010
2. CoreASM Plug-In Architecture;Rigorous Methods for Software Construction and Analysis;2009
3. XML Machines;Lecture Notes in Computer Science;2009
4. An SMT Approach to Bounded Reachability Analysis of Model Programs;Formal Techniques for Networked and Distributed Systems – FORTE 2008;2008
5. Protocol Modeling with Model Program Composition;Formal Techniques for Networked and Distributed Systems – FORTE 2008;2008