An associative calculus with an unsolvable problem of equivalence

DOI10.1090/TRANS2/094/03MaRDI QIDQ5608769zbMATH OpenOpenAlexFDO

Authors G. S. Tseĭtin

Publication date 1970

Published in Sixteen Papers on Logic and Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1090/trans2/094/03

Mathematics Subject Classification ID

Computability and recursion theory (03D99)

Cited in

(2)

• Frontier between decidability and undecidability: A survey
• Partition-based logical reasoning for first-order and propositional theories

This page was built for publication: An associative calculus with an unsolvable problem of equivalence

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