Linear second-order unification
From MaRDI portal
Publication:5055871
DOI10.1007/3-540-61464-8_63zbMath1503.68130MaRDI QIDQ5055871
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-61464-8_63
03B25: Decidability of theories and sets of sentences
03B35: Mechanization of proofs and logical operations
68Q42: Grammars and rewriting systems
Related Items
Dominance constraints in stratified context unification, On the relation between context and sequence unification, Context unification with one context variable, A decision algorithm for distributive unification, Solvability of context equations with two context variables is decidable, On rewrite constraints and context unification, On the undecidability of second-order unification, Decidability of bounded second order unification, Decidability of bounded higher-order unification, Tractable and intractable second-order matching problems