Pages that link to "Item:Q1929227"
From MaRDI portal
The following pages link to Modularity in term rewriting revisited (Q1929227):
Displaying 19 items.
- Rewriting modulo SMT and open system analysis (Q347384) (← links)
- Modularity in noncopying term rewriting (Q673186) (← links)
- Modular properties of conditional term rewriting systems (Q689098) (← links)
- Modular term rewriting systems and the termination (Q910207) (← links)
- Bubbles in modularity (Q1127335) (← links)
- Modular proofs for completeness of hierarchical term rewriting systems (Q1350349) (← links)
- Modular properties of composable term rewriting systems (Q1911401) (← links)
- The influence of negatively charged heavy ions on the kinetic Alfven wave in a cometary environment (Q1929276) (← links)
- Modular termination of prefix-constrained term rewrite systems (Q2059889) (← links)
- Modularity of convergence and strong convergence in infinitary rewriting (Q2786135) (← links)
- (Q4472207) (← links)
- Variant-Based Satisfiability in Initial Algebras (Q4686604) (← links)
- (Q5089005) (← links)
- (Q5094148) (← links)
- On modularity in term rewriting and narrowing (Q5096311) (← links)
- Algebraic Methodology and Software Technology (Q5312993) (← links)
- Term Rewriting and Applications (Q5703874) (← links)
- Variants and satisfiability in the infinitary unification wonderland (Q6113018) (← links)
- Proving confluence in the confluence framework with confident (Q6622001) (← links)