Pages that link to "Item:Q2849500"
From MaRDI portal
The following pages link to On Forward Closure and the Finite Variant Property (Q2849500):
Displaying 16 items.
- Non-disjoint combined unification and closure by equational paramodulation (Q831919) (← links)
- Constant runtime complexity of term rewriting is semi-decidable (Q1799562) (← links)
- Symbolic computation in Maude: some tapas (Q2119100) (← links)
- Terminating non-disjoint combined unification (Q2119106) (← links)
- A partial evaluation framework for order-sorted equational programs modulo axioms (Q2291823) (← links)
- Optimization of rewrite theories by equational partial evaluation (Q2667190) (← links)
- Built-in Variant Generation and Unification, and Their Applications in Maude 2.7 (Q2817918) (← links)
- Variant-Based Satisfiability in Initial Algebras (Q4686604) (← links)
- (Q5020553) (← links)
- (Q5020960) (← links)
- Term Rewriting and Applications (Q5703857) (← links)
- Some closure properties of finite definitions (Q5951911) (← links)
- Symbolic Specialization of Rewriting Logic Theories with <tt>Presto</tt> (Q6063888) (← links)
- Variants and satisfiability in the infinitary unification wonderland (Q6113018) (← links)
- Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version) (Q6137845) (← links)
- Variants in the Infinitary Unification Wonderland (Q6486035) (← links)