Searching for "Higher-Order Superposition for Dependent Types." – sorted by Relevance.
-
Higher-Order Superposition for Dependent Types
- Higher-Order Superposition for Dependent Types Roberto Virga May 9, 1995 CMU-CS-95-150 School
- Cited by 4 (0 self) – Add To MetaCart
-
Roberto Virga May 9, 1995
- Higher-Order Superposition for Dependent Types Roberto Virga May 9, 1995 CMU-CS-95-150 School
- Add To MetaCart

