Completeness for typed lazy inequalities

[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.1990.113757 ◽

2002 ◽

Author(s):

S.S. Cosmadakis ◽

A.R. Meyer ◽

J.G. Riecke

Download Full-text