scientific article; zbMATH DE number 4090848
From MaRDI portal
Publication:3817653
Recommendations
- Confluence of terminating conditional rewrite systems revisited
- scientific article; zbMATH DE number 4092758
- Shallow confluence of conditional term rewriting systems
- Conditions for confluence of innermost terminating term rewriting systems
- Confluence of the disjoint union of conditional term rewriting systems
Cited in
(41)- Conditional rewrite rules: Confluence and termination
- Order-sorted completion: The many-sorted way
- Equational rules for rewriting logic
- Confluence by critical pair analysis revisited
- Confluence in probabilistic rewriting
- Shallow confluence of conditional term rewriting systems
- Confluence of non-left-linear TRSs via relative termination
- Transformations of Conditional Rewrite Systems Revisited
- scientific article; zbMATH DE number 4024775 (Why is no real title available?)
- scientific article; zbMATH DE number 4092758 (Why is no real title available?)
- Sufficient completeness verification for conditional and constrained TRS
- Local Confluence for Rules with Nested Application Conditions
- Completion-time optimization of rewrite-time goal solving
- Conditional rewrite rule systems with built-in arithmetic and induction
- On confluence for weakly normalizing systems
- Level-confluence of conditional rewrite systems with extra variables in right-hand sides
- Confluence of terminating conditional rewrite systems revisited
- Equation solving in conditional AC-theories
- scientific article; zbMATH DE number 7204433 (Why is no real title available?)
- Confluence by critical pair analysis
- Conditional confluence (system description)
- On notions of inductive validity for first-order equational clauses
- scientific article; zbMATH DE number 6744203 (Why is no real title available?)
- Confluence of layered rewrite systems
- Certifying confluence of almost orthogonal CTRSs via exact tree automata completion
- Confluent term rewriting for only-knowing logics
- Term Rewriting and Applications
- Completeness of combinations of conditional constructor systems
- A constructor-based approach for positive/negative-conditional equational specifications
- Extended term rewriting systems
- Conditional rewriting logic: Deduction, models and concurrency
- Proof by consistency in conditional equational theories
- Confluence of the disjoint union of conditional term rewriting systems
- Local confluence of conditional and generalized term rewriting systems
- A Critical Pair Criterion for Level-Commutation of Conditional Term Rewriting Systems
- Proving confluence in the confluence framework with confident
- On termination and confluence properties of disjoint and constructor-sharing conditional rewrite systems
- Transformations and confluence for rewrite systems
- Confluence of almost parallel-closed generalized term rewriting systems
- An Isabelle/HOL formalization of semi-Thue and conditional semi-Thue systems
- A rationale for conditional equational 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 Q3817653)
