Conditional Confluence
From MaRDI portal
swMATH13315MaRDI QIDQ25230FDOQ25230
Author name not available (Why is that?)
Official website: http://link.springer.com/chapter/10.1007%2F978-3-319-08918-8_31
Cited In (12)
- Nominal confluence tool
- Complexity of conditional term rewriting
- Formalizing soundness and completeness of unravelings
- The 2D dependency pair framework for conditional rewrite systems. I: Definition and basic processors
- Use of logical models for proving infeasibility in term rewriting
- Narrowing trees for syntactically deterministic conditional term rewriting systems
- CSI
- Saigawa
- VMTL
- The 2D dependency pair framework for conditional rewrite systems. II: Advanced processors and implementation techniques
- ConCon
- CO3
This page was built for software: Conditional Confluence
