Shallow confluence of conditional term rewriting systems
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 3855013 (Why is no real title available?)
- scientific article; zbMATH DE number 3866562 (Why is no real title available?)
- scientific article; zbMATH DE number 3875232 (Why is no real title available?)
- scientific article; zbMATH DE number 4155899 (Why is no real title available?)
- scientific article; zbMATH DE number 4164171 (Why is no real title available?)
- scientific article; zbMATH DE number 4060702 (Why is no real title available?)
- scientific article; zbMATH DE number 4072437 (Why is no real title available?)
- scientific article; zbMATH DE number 4090848 (Why is no real title available?)
- scientific article; zbMATH DE number 4092758 (Why is no real title available?)
- scientific article; zbMATH DE number 4106267 (Why is no real title available?)
- scientific article; zbMATH DE number 4112064 (Why is no real title available?)
- scientific article; zbMATH DE number 44213 (Why is no real title available?)
- scientific article; zbMATH DE number 44484 (Why is no real title available?)
- scientific article; zbMATH DE number 46981 (Why is no real title available?)
- scientific article; zbMATH DE number 47903 (Why is no real title available?)
- scientific article; zbMATH DE number 108434 (Why is no real title available?)
- scientific article; zbMATH DE number 193539 (Why is no real title available?)
- scientific article; zbMATH DE number 193557 (Why is no real title available?)
- scientific article; zbMATH DE number 193879 (Why is no real title available?)
- scientific article; zbMATH DE number 534879 (Why is no real title available?)
- scientific article; zbMATH DE number 592370 (Why is no real title available?)
- scientific article; zbMATH DE number 1142316 (Why is no real title available?)
- scientific article; zbMATH DE number 1499112 (Why is no real title available?)
- scientific article; zbMATH DE number 1405629 (Why is no real title available?)
- scientific article; zbMATH DE number 3247976 (Why is no real title available?)
- scientific article; zbMATH DE number 3333259 (Why is no real title available?)
- scientific article; zbMATH DE number 958048 (Why is no real title available?)
- scientific article; zbMATH DE number 3030932 (Why is no real title available?)
- A constructor-based approach to positive/negative-conditional equational specifications
- A framework for operational equational specifications with pre-defined structures
- A new parallel closed condition for Church-Rosser of left-linear term rewriting systems
- An abstract Church-Rosser theorem. II: Applications
- An even closer integration of linear arithmetic into inductive theorem proving
- An improved general path order
- Completeness results for basic narrowing
- Completion-time optimization of rewrite-time goal solving
- Conditional equational specifications of data types with partial operations for inductive theorem proving
- Conditional rewrite rules: Confluence and termination
- Confluence without termination via parallel critical pairs
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
- Descente Infinie + Deduction
- Flexible heuristics for simplification with conditional lemmas by marking formulas as forbidden, mandatory, obligatory, and generous
- Generic induction proofs
- Handbook of automated reasoning. In 2 vols
- Higher order conditional rewriting and narrowing
- Higher-order rewrite systems and their confluence
- Isabelle/HOL. A proof assistant for higher-order logic
- Level-confluence of conditional rewrite systems with extra variables in right-hand sides
- Logicality of conditional rewrite systems
- Mechanizing Mathematical Reasoning
- Mechanizing mathematical reasoning. Essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday.
- On notions of inductive validity for first-order equational clauses
- Semantics for positive/negative conditional rewrite systems
- Semantics of order-sorted specifications
- Swinging types=functions+relations+transition systems
- The automation of proof by mathematical induction
- The discovery of incommensurability by Hippasus of Metapontum
- Tree-Manipulating Systems and Church-Rosser Theorems
- What are logical notions?
Cited in
(9)- scientific article; zbMATH DE number 4090848 (Why is no real title available?)
- \(\lim +, \delta^+\), and non-permutability of \(\beta\)-steps
- A series of revisions of David Poole's specificity
- scientific article; zbMATH DE number 1962804 (Why is no real title available?)
- A Critical Pair Criterion for Level-Commutation of Conditional Term Rewriting Systems
- Confluence of terminating conditional rewrite systems revisited
- Level-confluence of conditional rewrite systems with extra variables in right-hand sides
- Non-E-overlapping, weakly shallow, and non-collapsing TRSs are confluent
- Confluence of the disjoint union of conditional term rewriting systems
This page was built for publication: Shallow confluence of conditional term rewriting systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2518609)
