Solving equations with sequence variables and sequence functions

DOI10.1016/j.jsc.2006.12.002zbMath1124.68121OpenAlexW2052951585MaRDI QIDQ2457427

Temur Kutsia

Publication date: 23 October 2007

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jsc.2006.12.002

zbMATH Keywords

unificationsequence variablessequence functions

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Mechanization of proofs and logical operations (03B35)

Related Items

Simplifying the signature in second-order unification ⋮ CLP(H):Constraint logic programming for hedges ⋮ A Constraint Solver for Equations over Sequences and Contexts ⋮ Anti-patterns for rule-based languages ⋮ Variadic equational matching in associative and commutative theories ⋮ Regular expression order-sorted unification and matching ⋮ On the relation between context and sequence unification ⋮ Anti-unification for unranked terms and hedges

Uses Software

• Mathematica
• Theorema
• CLP(Flex)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• SET-VAR
• Word unification and transformation of generalized equations
• A tight, practical integration of relations and functions.
• Unification in the union of disjoint equational theories: Combining decision procedures
• Minimal and complete word unification
• THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUP
• Mathematical Knowledge Management
• Artificial Intelligence and Symbolic Computation
• A Machine-Oriented Logic Based on the Resolution Principle