Sciweavers

LICS
1998
IEEE
14 years 4 months ago
The Horn Mu-calculus
The Horn
Witold Charatonik, David A. McAllester, Damian Niw...