Optimal Acceptors and Optimal Proof Systems

DOI10.1007/978-3-642-13562-0_4zbMath1284.03259OpenAlexW2098308941MaRDI QIDQ3569061

Edward A. Hirsch

Publication date: 17 June 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-13562-0_4

zbMATH Keywords

survey paper

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Complexity of proofs (03F20)

Related Items (2)

On an optimal randomized acceptor for graph nonisomorphism ⋮ Optimal heuristic algorithms for the image of an injective function

This page was built for publication: Optimal Acceptors and Optimal Proof Systems