M. Grohe. Isomorphism testing for embeddable graphs through de nability. In Proceedings of 32nd ACM Symposium on Theory of Computing, pp. 63{ 72. ACM, 2000. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
A Fixed-Point Logic with Symmetric Choice - Anuj Dawar And (Correct)
No context found.
M. Grohe. Isomorphism testing for embeddable graphs through de nability. In Proceedings of 32nd ACM Symposium on Theory of Computing, pp. 63{ 72. ACM, 2000.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC