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
Institutions
- Department of Mathematics [110000]
- Mathematical Fundamentals of Computer Science (Logic and Complexity) Teaching and Research Area [117220]
Identifier
- DOI: 10.1109/LICS.1995.523269
- RWTH PUBLICATIONS: RWTH-CONV-183611