A Decision Algorithm for Stratified Context Unification

DOI10.1093/logcom/12.6.929zbMath1019.03002OpenAlexW1988935908MaRDI QIDQ4796458

Manfred Schmidt-Schauss

Publication date: 16 September 2003

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/00ff56c0db3d69691448b46230a7195827ef9f33

zbMATH Keywords

unificationconstraint solvingstring unificationautomated deductioncontext unification

Mathematics Subject Classification ID

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

Related Items

Decidability of bounded second order unification, Simplifying the signature in second-order unification, System Description: E.T. 0.1, Regular Patterns in Second-Order Unification, Dominance constraints in stratified context unification, Decidability of bounded higher-order unification, On the relation between context and sequence unification, Context unification with one context variable