Solving equations involving sequence variables and sequence functions

DOI10.1007/978-3-540-30210-0_14MaRDI QIDQ5464699zbMATH OpenOpenAlexFDO

Authors Temur Kutsia

Publication date 19 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b100361

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• Solving equations with sequence variables and sequence functions
• Unification with sequence variables and flexible arity symbols and its extension with pattern-terms
• Pattern unification with sequence variables and flexible arity symbols
• A constraint solver for equations over sequences and contexts
• scientific article; zbMATH DE number 4170894

Cited in

(10)

• Variadic equational matching in associative and commutative theories
• Solving equations with sequence variables and sequence functions
• Pattern unification with sequence variables and flexible arity symbols
• A constraint solver for equations over sequences and contexts
• CLP(\(\mathsf{H}\)): constraint logic programming for hedges
• Unification with sequence variables and flexible arity symbols and its extension with pattern-terms
• scientific article; zbMATH DE number 7379291 (Why is no real title available?)
• Sequence Unification Through Currying
• Unranked Nominal Unification
• \textit{Theorema}: Towards computer-aided mathematical theory exploration

This page was built for publication: Solving equations involving sequence variables and sequence functions

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