An associative calculus with an unsolvable problem of equivalence

DOI10.1090/TRANS2/094/03zbMATH Open0208.01907OpenAlexW4232429623MaRDI QIDQ5608769FDOQ5608769

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)