1 results
A Logical Approach to Complexity Bounds for Subtype Inequalities
- from Part II - Contributed Papers
-
-
- Book:
- Gödel '96
- Published online:
- 23 March 2017
- Print publication:
- 02 March 2017, pp 195-204
-
- Chapter
- Export citation