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]
@inproceedings{BlassGB00,
title = {Abstract State Machines and Computationally Complete Query Languages},
author = {Andreas Blass and Yuri Gurevich and Jan Van den Bussche},
year = {2000},
url = {http://link.springer.de/link/service/series/0558/bibs/1912/19120022.htm},
tags = {completeness, state machines, abstract machine, query language},
researchr = {https://researchr.org/publication/BlassGB00},
cites = {0},
citedby = {0},
pages = {22-33},
booktitle = {Abstract State Machines, Theory and Applications, International Workshop, ASM 2000, Monte Verità , Switzerland, March 19-24, 2000, Proceedings},
editor = {Yuri Gurevich and Philipp W. Kutter and Martin Odersky and Lothar Thiele},
volume = {1912},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-67959-6},
}