Sciweavers

IANDC
2002

Syntactic Type Soundness Results for the Region Calculus

13 years 3 months ago
Syntactic Type Soundness Results for the Region Calculus
Cristiano Calcagno, Simon Helsen, Peter Thiemann
Added 19 Dec 2010
Updated 19 Dec 2010
Type Journal
Year 2002
Where IANDC
Authors Cristiano Calcagno, Simon Helsen, Peter Thiemann
Comments (0)