Syntacticness, cycle-syntacticness and shallow theories
From MaRDI portal
Publication:1327397
DOI10.1006/inco.1994.1043zbMath0807.68062MaRDI QIDQ1327397
Jean-Pierre Jouannaud, Hubert Comon, Marianne Haberstrau
Publication date: 1 March 1995
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/inco.1994.1043
Related Items
Grid structures and undecidable constraint theories, Termination of narrowing revisited, Set constraints in some equational theories, Decidability and complexity analysis by basic paramodulation, The unification problem for confluent right-ground term rewriting systems., Induction = I-axiomatization + first-order consistency., Modular proof systems for partial functions with Evans equality, Set constraints with intersection