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

In: 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)/Article-Nr.: 342-352