Searching for "The Institution of Order-Sorted Equational Logic." – sorted by Relevance.
2 documents found, showing 1 through 2.
-
The Institution of order-sorted equational logic
- …The Institution of order-sorted equational logic Grigore Rosu University of Bucharest, Faculty…
- Cited by 1 (1 self) – Add To MetaCart
-
Kan Extensions of Institutions
- … an institution for order-sorted equational logic. Diaconescu, Goguen and Stefaneas [DGS93] and Rosu [Ros99] use…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 2.
