Approximating dependency graphs using tree automata techniques

DOI10.1007/3-540-45744-5_49MaRDI QIDQ4539643zbMATH OpenFDO

Authors Aart Middeldorp

Publication date 10 July 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2083/20830593

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Formal languages and automata (68Q45)

Recommendations

• Beyond Dependency Graphs
• Approximations for strategies and termination
• Termination of term rewriting using dependency pairs
• Improving dependency pairs
• Rewriting Techniques and Applications

Cited in

(22)

• Match-bounds revisited
• Deciding H₁ by resolution
• Use of logical models for proving infeasibility in term rewriting
• Decidable call-by-need computations in term rewriting
• Hierarchical termination revisited.
• Modular termination proofs for rewriting using dependency pairs
• Term orderings for non-reachability of (conditional) rewriting
• Proving semantic properties as first-order satisfiability
• Enhancing dependency pair method using strong computability in simply-typed term rewriting
• Automating the dependency pair method
• Modular and incremental automated termination proofs
• Approximations for strategies and termination
• Match-Bounds with Dependency Pairs for Proving Termination of Rewrite Systems
• scientific article; zbMATH DE number 475414 (Why is no real title available?)
• Graph decompositions and tree automata in reasoning with uncertainty
• Beyond Dependency Graphs
• First-order theory of rewriting for linear variable-separated rewrite systems: automation, formalization, certification
• Certifying the weighted path order (invited talk)
• Mechanically proving termination using polynomial interpretations
• Elimination transformations for associative-commutative rewriting systems
• Mechanizing and improving dependency pairs
• Context-sensitive dependency pairs

This page was built for publication: Approximating dependency graphs using tree automata techniques

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4539643)