The Horn mu-calculus

Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226) ◽

10.1109/lics.1998.705643 ◽

2002 ◽

Cited By ~ 4

Author(s):

W. Charatonik ◽

D. McAllester ◽

D. Niwinski ◽

A. Podelski ◽

I. Walukiewicz

Download Full-text