scientific article; zbMATH DE number 3930339
From MaRDI portal
Publication:3703288
Recommendations
Cited in
(69)- Termination orderings for associative-commutative rewriting systems
- Termination of rewriting
- Simplifying conditional term rewriting systems: Unification, termination and confluence
- Counterexamples to termination for the direct sum of term rewriting systems
- A geometrical approach to multiset orderings
- Schematization of infinite sets of rewrite rules generated by divergent completion processes
- Complexity analysis of term-rewriting systems
- Simplification orderings: Putting them to the test
- Proving termination of (conditional) rewrite systems. A semantic approach
- Termination of term rewriting: Interpretation and type elimination
- On the modularity of termination of term rewriting systems
- Simple termination of rewrite systems
- Pattern-matching algorithms based on term rewrite systems
- Proof of termination of the rewriting system SUBSET on CCL
- A strong restriction of the inductive completion procedure
- Automatic proofs by induction in theories without constructors
- Outside opportunities and termination
- Termination and normalisation under strategy proofs in ELAN
- Local termination: theory and practice
- Termination of rewriting under strategies
- Cancellation
- Order-sorted termination: the unsorted way
- Proving termination properties with \textsc{mu-term}
- scientific article; zbMATH DE number 3870584 (Why is no real title available?)
- scientific article; zbMATH DE number 3870640 (Why is no real title available?)
- Termination Proof of S-Expression Rewriting Systems with Recursive Path Relations
- Detecting Non-termination of Term Rewriting Systems Using an Unfolding Operator
- Orderings and Constraints: Theory and Practice of Proving Termination
- TERMINATION OF ABSTRACT REDUCTION SYSTEMS
- Local Termination
- scientific article; zbMATH DE number 3905845 (Why is no real title available?)
- scientific article; zbMATH DE number 4007716 (Why is no real title available?)
- scientific article; zbMATH DE number 4047065 (Why is no real title available?)
- scientific article; zbMATH DE number 4090779 (Why is no real title available?)
- scientific article; zbMATH DE number 408817 (Why is no real title available?)
- scientific article; zbMATH DE number 1179979 (Why is no real title available?)
- scientific article; zbMATH DE number 1748590 (Why is no real title available?)
- scientific article; zbMATH DE number 1761896 (Why is no real title available?)
- Extension orderings
- scientific article; zbMATH DE number 794239 (Why is no real title available?)
- scientific article; zbMATH DE number 862680 (Why is no real title available?)
- A local termination property for term rewriting systems
- Priority rewriting: Semantics, confluence, and conditionals
- Negation with logical variables in conditional rewriting
- Extensions and comparison of simplification orderings
- Time bounded rewrite systems and termination proofs by generalized embedding
- Program transformation and rewriting
- Topics in termination
- It is undecidable whether the Knuth-Bendix completion procedure generates a crossed pair
- First-order formative rules
- Nagoya termination tool
- Simple termination revisited
- Termination of processes
- Term Rewriting and Applications
- Term Rewriting and Applications
- Termination of term rewriting by interpretation
- A survey of ordinal interpretations of type ɛ0 for termination of rewriting systems
- On sufficient completeness of conditional specifications
- An universal termination condition for solving goals in equational languages
- Processes, Terms and Cycles: Steps on the Road to Infinity
- The termination hierarchy for term rewriting
- Dismissal power
- Natural termination
- Termination by completion
- On word problems in Horn theories
- Termination orders for 3-polygraphs
- Summarization for termination: No return!
- Leanest quasi-orderings
- Weighted graphs: A tool for studying the halting problem and time complexity in term rewriting systems and logic programming
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3703288)
