Anti-unification and the theory of semirings

DOI10.1016/J.TCS.2020.10.020MaRDI QIDQ2215964zbMATH OpenOpenAlexFDO

Authors David M. Cerna

Publication date 15 December 2020

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2020.10.020

zbMATH Keywords

semiringsanti-unificationnullary

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Semirings (16Y60)

Recommendations

• Unification under associativity and idempotence is of type nullary
• Adding homomorphisms to commutative/monoidal theories or how algebra can help in equational unification
• Idempotent anti-unification
• A note on unification type zero
• Unification in commutative theories

Cites work

• scientific article; zbMATH DE number 1358710 (Why is no real title available?)
• scientific article; zbMATH DE number 3349328 (Why is no real title available?)
• scientific article; zbMATH DE number 3349329 (Why is no real title available?)
• A Generic Framework for Higher-Order Generalizations.
• A modular order-sorted equational generalization algorithm
• Algorithmic Compression of Finite Tree Languages by Rigid Acyclic Grammars
• Complete sets of unifiers and matchers in equational theories
• E-generalization using grammars
• Higher order generalization and its application in program verification
• Higher-order pattern anti-unification in linear time
• Idempotent anti-unification
• Inductive synthesis of functional programs. Universal planning, folding of finite programs, and schema abstraction by analogical reasoning.
• Inductive theorem proving based on tree grammars
• Term-graph anti-unification
• The theory of idempotent semigroups is of unification type zero
• Unification in monoidal theories
• Unification theory
• Unification theory
• Unification under associativity and idempotence is of type nullary
• Unification, weak unification, upper bound, lower bound, and generalization problems

Cited in

(1)

• One or nothing: anti-unification over the simply-typed lambda calculus

Describes a project that uses

Uses Software

• Getafix

This page was built for publication: Anti-unification and the theory of semirings

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