Flat matching

DOI10.1016/J.JSC.2008.05.001MaRDI QIDQ999086zbMATH OpenOpenAlexWikidataFDO

Authors Temur Kutsia

Publication date 30 January 2009

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

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

zbMATH Keywords

matchingMathematicaflat theoriessequence variables

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Recommendations

• Variadic equational matching
• scientific article; zbMATH DE number 1722712
• Matching with multiplication and exponentiation (extended abstract)
• scientific article; zbMATH DE number 1231538
• scientific article; zbMATH DE number 4049126

Cites work

• scientific article; zbMATH DE number 1189062 (Why is no real title available?)
• scientific article; zbMATH DE number 1254279 (Why is no real title available?)
• scientific article; zbMATH DE number 1980932 (Why is no real title available?)
• scientific article; zbMATH DE number 941393 (Why is no real title available?)
• scientific article; zbMATH DE number 3413831 (Why is no real title available?)
• A review of Mathematica
• A tight, practical integration of relations and functions.
• Foundations of Information and Knowledge Systems
• Foundations of the rule-based system \(\rho\,\text{Log}\)
• Minimal and complete word unification
• Solvability of context equations with two context variables is decidable
• The complexity of linear and stratified context matching problems
• The meaning of infinity in calculus and computer algebra systems
• Unification theory
• Word unification and transformation of generalized equations
• \textit{Theorema}: Towards computer-aided mathematical theory exploration

Cited in

(5)

• Anti-unification for unranked terms and hedges
• Anti-patterns for rule-based languages
• Variadic equational matching in associative and commutative theories
• Variadic equational matching
• scientific article; zbMATH DE number 1453036 (Why is no real title available?)

Describes a project that uses

Uses Software

• CLP(Flex)
• Veriflog
• Theorema
• Mathematica

This page was built for publication: Flat matching

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