Publications
Filter by
Open menu
1 result for
Jon G. Riecke
Completeness for typed lazy inequalities
Stavros S. Cosmadakis
Albert R. Meyer
et al.
1990
LICS 1990