Outermost ground termination
From MaRDI portal
Recommendations
- From Outermost Termination to Innermost Termination
- Maximal Termination
- Unified grounding
- Grounding grounds necessity
- On ground AC-completion
- Maximum alignment of interchangeable terminals
- Algorithm Theory - SWAT 2004
- Unique end of potential line
- Unique End of Potential Line
- Wire antenna model of the vertical grounding electrode
Cites work
- scientific article; zbMATH DE number 1231537 (Why is no real title available?)
- scientific article; zbMATH DE number 794240 (Why is no real title available?)
- Compact normalisation trace via lazy rewriting
- Completeness results for basic narrowing
- Induction for termination with local strategies
- Natural termination
- Orderings for term-rewriting systems
- Outermost ground termination
- Proving innermost normalisation automatically
- Some characteristics of strong innermost normalization
- Termination and normalisation under strategy proofs in ELAN
- Termination of rewriting systems by polynomial interpretations and its implementation
- Termination of rewriting with strategy annotations
- Termination of term rewriting using dependency pairs
- Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture
Cited in
(7)- Proving weak properties of rewriting
- Theoretical Aspects of Computing - ICTAC 2004
- Induction for termination with local strategies
- Outermost ground termination
- From Outermost Termination to Innermost Termination
- Termination of rewriting under strategies
- scientific article; zbMATH DE number 2185721 (Why is no real title available?)
This page was built for publication: Outermost ground termination
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2851054)
