Simultaneous rigid sorted unification for tableaux

DOI10.1023/A:1020526008642zbMath1016.03012OpenAlexW1536579043MaRDI QIDQ1863821

A. Gavilanes, P. J. Martin

Publication date: 12 March 2003

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1020526008642

zbMATH Keywords

sortsfree-variable tableauxsimultaneous rigid unification

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)