The Complexity of the Hajós Calculus

DOI10.1137/S089548019224024XzbMATH Open0834.68090MaRDI QIDQ4847367FDOQ4847367

Alasdair Urquhart, Toniann Pitassi

Publication date: 18 March 1996

Published in: SIAM Journal on Discrete Mathematics (Search for Journal in Brave)

zbMATH Keywords

colorable graphsFrege systemsHajós calculus

Mathematics Subject Classification ID

Graph algorithms (graph-theoretic aspects) (05C85) Graph theory (including graph drawing) in computer science (68R10) Complexity of proofs (03F20)

Cited In (7)

• Title not available (Why is that?)
• Hajós and Ore constructions for digraphs
• The complexity of the Hajós calculus for planar graphs
• Grassmann homomorphism and Hajós-type theorems
• A Logical Autobiography
• Two party immediate response disputes: Properties and efficiency
• LA, permutations, and the Hajós calculus

   Recommendations

• Title not available (Why is that?) 👍 👎
• Exponential lower bounds for the tree-like Hajós calculus 👍 👎
• The complexity of the Hajós calculus for planar graphs 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication: The Complexity of the Hajós Calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4847367)