Abstract State Machines and Computationally Complete Query Languages - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Andreas Blass, Yuri Gurevich, Jan Van den Bussche. Abstract State Machines and Computationally Complete Query Languages. In Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele, editors, Abstract State Machines, Theory and Applications, International Workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000, Proceedings. Volume 1912 of Lecture Notes in Computer Science, pages 22-33, Springer, 2000. [doi]

The following publications are possibly variants of this publication:

Abstract State Machines and Computationally Complete Query LanguagesAndreas Blass, Yuri Gurevich, Jan Van den Bussche. iandc, 174(1):20-36, 2002. [doi]

Can abstract state machines be useful in language theory?Yuri Gurevich, Margus Veanes, Charles Wallace. TCS, 376(1-2):17-29, 2007. [doi]

Can Abstract State Machines Be Useful in Language Theory?Yuri Gurevich, Charles Wallace. dlt 2006: 14-19 [doi]

runs on WebDSL