Publisher
Springer International Publishing
Reference38 articles.
1. Abiteboul, S., Papadimitriou, C.H., Vianu, V.: The power of reflective relational machines. In: Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS 1994), pp. 230–240. IEEE Computer Society (1994)
2. Abiteboul, S., Vardi, M.Y., Vianu, V.: Fixpoint logics, relational machines, and computational complexity. J. ACM 44(1), 30–56 (1997). https://doi.org/10.1145/256292.256295
3. Abiteboul, S., Vianu, V.: Generic computation and its complexity. In: Koutsougeras, C., Vitter, J.S. (eds.) Proceedings of the 23rd Annual ACM Symposium on Theory of Computing (STOC 1991), pp. 209–219. ACM (1991)
4. Lecture Notes in Computer Science;V Arvind,1987
5. Blass, A., Gurevich, Y.: Abstract State Machines capture parallel algorithms. ACM Trans. Comput. Logic 4(4), 578–651 (2003)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Practical Theory of Computation on Structures;Theoretical Aspects of Software Engineering;2022