Sciweavers

LICS
1998
IEEE

The Horn Mu-calculus

14 years 3 months ago
The Horn Mu-calculus
The Horn
Witold Charatonik, David A. McAllester, Damian Niw
Added 05 Aug 2010
Updated 05 Aug 2010
Type Conference
Year 1998
Where LICS
Authors Witold Charatonik, David A. McAllester, Damian Niwinski, Andreas Podelski, Igor Walukiewicz
Comments (0)