Conditional Confluence
From MaRDI portal
Software:25230
swMATH13315MaRDI QIDQ25230FDOQ25230
Author name not available (Why is that?)
Cited In (7)
- Narrowing Trees for Syntactically Deterministic Conditional Term Rewriting Systems
- The 2D dependency pair framework for conditional rewrite systems. I: Definition and basic processors
- Nominal Confluence Tool
- Use of logical models for proving infeasibility in term rewriting
- Formalizing Soundness and Completeness of Unravelings
- The 2D dependency pair framework for conditional rewrite systems. II: Advanced processors and implementation techniques
- Title not available (Why is that?)
This page was built for software: Conditional Confluence
