Pattern unification with sequence variables and flexible arity symbols

DOI10.1016/S1571-0661(04)80514-0MaRDI QIDQ2842594zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 2090055
• Artificial Intelligence and Symbolic Computation
• Solving equations with sequence variables and sequence functions
• scientific article; zbMATH DE number 4045129
• scientific article; zbMATH DE number 3871321

Cites work

• scientific article; zbMATH DE number 1292563 (Why is no real title available?)
• scientific article; zbMATH DE number 1980932 (Why is no real title available?)
• scientific article; zbMATH DE number 2080401 (Why is no real title available?)
• scientific article; zbMATH DE number 2090055 (Why is no real title available?)
• scientific article; zbMATH DE number 3299786 (Why is no real title available?)
• Sequences, datalog, and transducers
• THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUP
• The THOREM project: A progress report
• Word unification and transformation of generalized equations

Cited in

(7)

• Unification with extended patterns
• Fuzzy lattice operations on first-order terms over signatures with similar constructors: a constraint-based approach
• Solving equations with sequence variables and sequence functions
• scientific article; zbMATH DE number 1980932 (Why is no real title available?)
• scientific article; zbMATH DE number 2090055 (Why is no real title available?)
• Sequence Unification Through Currying
• Artificial Intelligence and Symbolic Computation

Describes a project that uses

Uses Software

• Mathematica
• Theorema

This page was built for publication: Pattern unification with sequence variables and flexible arity symbols

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2842594)