Undecidable properties of syntactic theories
From MaRDI portal
Publication:5055755
DOI10.1007/3-540-53904-2_92zbMath1503.03018MaRDI QIDQ5055755
Publication date: 9 December 2022
Published in: Rewriting Techniques and Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-53904-2_92
03B25: Decidability of theories and sets of sentences
03B35: Mechanization of proofs and logical operations
Related Items