Abstract State Machines and Computationally Complete Query Languages

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]

Authors

Andreas Blass

This author has not been identified. Look up 'Andreas Blass' in Google

Yuri Gurevich

This author has not been identified. It may be one of the following persons: Look up 'Yuri Gurevich' in Google

Jan Van den Bussche

This author has not been identified. Look up 'Jan Van den Bussche' in Google