Searching for "Positive/Negative Conditional Rewriting." – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Conservative Extension in Positive/Negative Conditional Term Rewriting with Applications
- …Conservative Extension in Positive/Negative Conditional Term Rewriting with Applications…
- Cited by 8 (4 self) – Add To MetaCart
-
Conditional Equational Specifications of Data Types with Partial Operations for Inductive Theorem
- …(spec). 4.1 Positive/Negative Conditional Rewrite Specifications We begin with the idea of extending…
- Cited by 9 (7 self) – Add To MetaCart
-
Constructor-Based Inductive Validity in Positive/Negative-Conditional Equational Specifications
- …, constructor variables, order-sorted algebra, consistent extension, positive/negative-conditional rewriting…
- Cited by 1 (1 self) – Add To MetaCart
-
On Termination and Confluence of Conditional Rewrite Systems
- … / negative conditional rewrite systems). Note that extra variables (in conditions) are allowed here. Theorem…
- Cited by 6 (2 self) – Add To MetaCart
Showing 1 through 4.
