Counterexamples to termination for the direct sum of term rewriting systems
From MaRDI portal
(Redirected from Publication:1107975)
Recommendations
- On termination of the direct sum of term-rewriting systems
- scientific article; zbMATH DE number 4180808
- Termination for the direct sum of left-linear term rewriting systems
- Generalized sufficient conditions for modular termination of rewriting
- On the Church-Rosser property for the direct sum of term rewriting systems
Cites work
- scientific article; zbMATH DE number 3930339 (Why is no real title available?)
- scientific article; zbMATH DE number 4047065 (Why is no real title available?)
- scientific article; zbMATH DE number 3729436 (Why is no real title available?)
- scientific article; zbMATH DE number 3730111 (Why is no real title available?)
- On the Church-Rosser property for the direct sum of term rewriting systems
Cited in
(68)- A domain model characterising strong normalisation
- On termination of the direct sum of term-rewriting systems
- Modularity of termination in term graph rewriting
- Collapsed tree rewriting: Completeness, confluence, and modularity
- Implementing term rewriting by graph reduction: Termination of combined systems
- Modularity in term rewriting revisited
- Modularity of simple termination of term rewriting systems with shared constructors
- Generalized sufficient conditions for modular termination of rewriting
- Simple termination of rewrite systems
- On the modularity of termination of term rewriting systems
- Completeness of combinations of conditional constructor systems
- Modular proofs for completeness of hierarchical term rewriting systems
- Modularity of termination and confluence in combinations of rewrite systems with \(\lambda_\omega\)
- Automating the dependency pair method
- Tools for proving inductive equalities, relative completeness, and \(\omega\)-completeness
- Transforming termination by self-labelling
- Automatic synthesis of logical models for order-sorted first-order theories
- Termination of narrowing revisited
- An improved general path order
- Modular aspects of term graph rewriting
- Proving termination by dependency pairs and inductive theorem proving
- Bubbles in modularity
- On termination and confluence properties of disjoint and constructor-sharing conditional rewrite systems
- Root-Labeling
- Decidability of reachability for disjoint union of term rewriting systems
- Completeness of combinations of constructor systems
- Modular termination of prefix-constrained term rewrite systems
- Essentials of term graph rewriting
- Modular termination proofs for rewriting using dependency pairs
- Modular Termination of Basic Narrowing
- Termination of term rewriting using dependency pairs
- Deciding the word problem in the union of equational theories.
- Intersection type assignment systems with higher-order algebraic rewriting
- Jumping and escaping: modular termination and the abstract path ordering
- Termination of rewrite relations on \(\lambda\)-terms based on Girard's notion of reducibility
- From innermost to full almost-sure termination of probabilistic term rewriting
- scientific article; zbMATH DE number 7566074 (Why is no real title available?)
- Termination for the direct sum of left-linear term rewriting systems
- Modular and incremental automated termination proofs
- On modularity in infinitary term rewriting
- Combinations of simplifying conditional term rewriting systems
- Termination of term rewriting by interpretation
- A New approach for combining decision procedures for the word problem, and its connection to the Nelson-Oppen combination method
- Semi-completeness of hierarchical and super-hierarchical combinations of term rewriting systems
- Overlap closures do not suffice for termination of general term rewriting systems
- Some classes of term rewriting systems inferable from positive data
- Extension orderings
- Maximal Termination
- Interaction nets and term-rewriting systems
- Mechanizing and improving dependency pairs
- Tyrolean termination tool: techniques and features
- Modular term rewriting systems and the termination
- scientific article; zbMATH DE number 4180808 (Why is no real title available?)
- The size-change principle and dependency pairs for termination of term rewriting
- Modular and incremental proofs of AC-termination
- Variant-Based Satisfiability in Initial Algebras
- Modular aspects of properties of term rewriting systems related to normal forms
- Proof certificates for equality reasoning
- Finding small counterexamples for abstract rewriting properties
- Loop detection in term rewriting using the eliminating unfoldings
- Some characteristics of strong innermost normalization
- Type removal in term rewriting
- Confluence of the disjoint union of conditional term rewriting systems
- Analyzing Innermost Runtime Complexity Through Tuple Interpretations
- A uniform framework for term and graph rewriting applied to combined systems
- Modular termination of \(r\)-consistent and left-linear term rewriting systems
- Modularity in noncopying term rewriting
- Termination is not modular for confluent variable-preserving term rewriting systems
This page was built for publication: Counterexamples to termination for the direct sum of term rewriting systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1107975)
