On unification of terms with integer exponents

DOI10.1007/BF01294596MaRDI QIDQ4327380zbMATH OpenOpenAlexFDO

Authors Hubert Comon

Publication date 5 April 1995

Published in Mathematical Systems Theory (Search for Journal in Brave)

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

zbMATH Keywords

unification algorithm

Mathematics Subject Classification ID

Logic programming (68N17) Formal languages and automata (68Q45)

Recommendations

• Factorization of formal exponentials and uniformization
• Power-series unification and reversion
• Certain unified polynomials
• On the representation of integers as a sum of mixed powers
• On complex exponentiation restricted to the integers
• scientific article; zbMATH DE number 5307537
• Unified treatment of several asymptotic expansions concerning some mathematical constants
• Unification for infinite sets of equations between finite terms
• Unification and infinite series

Cited in

(9)

• Context unification with one context variable
• Unification of infinite sets of terms schematized by primal grammars
• The first order theory of primal grammars is decidable
• A complete superposition calculus for primal grammars
• Linear pattern matching of compressed terms and polynomial rewriting
• Primal grammars and unification modulo a binary clause
• Perfect discrimination graphs: indexing terms with integer exponents
• Simplified handling of iterated term schemata
• First-order automatic literal model generation

This page was built for publication: On unification of terms with integer exponents

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