Ptime canonization for two variables with counting

Otto, Martin

Los Alamitos, Calif. [u.a.] / IEEE Computer Society Press (1995) [Contribution to a book, Contribution to a conference proceedings]

Proceedings / Tenth Annual IEEE Symposium on Logic in Computer Science, June 26 - 29, 1995, San Diego, California / sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing. Ed. by Dexter Kozen
Page(s): 342-352