Pattern Unification with Sequence Variables and Flexible Arity Symbols

DOI10.1016/S1571-0661(04)80514-0zbMath1270.68130OpenAlexW2158366101MaRDI QIDQ2842594

Temur Kutsia

Publication date: 15 August 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)80514-0

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Grammars and rewriting systems (68Q42)

Related Items (1)

Fuzzy lattice operations on first-order terms over signatures with similar constructors: a constraint-based approach

Uses Software

• Mathematica
• Theorema

Cites Work

• Sequences, datalog, and transducers
• Word unification and transformation of generalized equations
• THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUP
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Pattern Unification with Sequence Variables and Flexible Arity Symbols