Choiceless polynomial time with witnessed symmetric choice

From MaRDI portal

Publication:6649460

Jump to:navigation, search

DOI10.1145/3531130.3533348MaRDI QIDQ6649460

Pascal Schweitzer, Unnamed Author

Publication date: 6 December 2024

zbMATH Keywords

isomorphism canonization choiceless polynomial time logic for \textsc{Ptime}symmetric choice

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of computing (68Qxx)

This page was built for publication: Choiceless polynomial time with witnessed symmetric choice

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6649460&oldid=40225572"