On Forward Closure and the Finite Variant Property

DOI10.1007/978-3-642-40885-4_23MaRDI QIDQ2849500zbMATH OpenOpenAlexWikidataFDO

Authors Christopher Bouchard, Kimberly A. Gero, Christopher Lynch, Paliath Narendran

Publication date 20 September 2013

Published in Frontiers of Combining Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-40885-4_23

zbMATH Keywords

equational unificationfinite variant propertyforward closureterm rewritingundecidability

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Grammars and rewriting systems (68Q42)

Recommendations

• Some closure properties of finite definitions
• Bounds for D-finite closure properties
• scientific article; zbMATH DE number 2097290
• A theory of finite closure spaces based on implications
• Closure properties of \(\varinjlim \mathcal{C}\)
• On the finite closure property for fusions of generic classes
• Properness under closed forcing
• Closure under transfinite extensions
• On properties of some weak forms of the closure operator
• On some variants of compactness

Cited in

(21)

• Constant runtime complexity of term rewriting is semi-decidable
• Symbolic computation in Maude: some tapas
• Terminating non-disjoint combined unification
• Rule-based unification in combined theories and the finite variant property
• A partial evaluation framework for order-sorted equational programs modulo axioms
• Optimization of rewrite theories by equational partial evaluation
• Built-in variant generation and unification, and their applications in Maude 2.7
• Effectively Checking the Finite Variant Property
• Variant-Based Satisfiability in Initial Algebras
• scientific article; zbMATH DE number 2090320 (Why is no real title available?)
• scientific article; zbMATH DE number 7453112 (Why is no real title available?)
• scientific article; zbMATH DE number 7455704 (Why is no real title available?)
• Term Rewriting and Applications
• Some closure properties of finite definitions
• Symbolic Specialization of Rewriting Logic Theories with Presto
• Variants and satisfiability in the infinitary unification wonderland
• Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version)
• Optimizing Maude programs via program specialization
• Variants in the Infinitary Unification Wonderland
• Knowledge problems in protocol analysis: extending the notion of subterm convergent
• Non-disjoint combined unification and closure by equational paramodulation

This page was built for publication: On Forward Closure and the Finite Variant Property

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