Searching for "Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic." – sorted by Relevance.
1 documents found, showing 1 through 1.
-
Reflection in membership equational logic, many-sorted equational logic, horn logic with equality
- … equational logic, many-sorted Horn logic with equality, and rewriting logic are reflective in our axiomatic…
- Cited by 6 (2 self) – Add To MetaCart
Showing 1 through 1.
