The Community for Technology Leaders
Logic in Computer Science, Symposium on (1998)
Indianapolis, Indiana
June 21, 1998 to June 24, 1998
ISSN: 1043-6871
ISBN: 0-8186-8506-9
pp: 58
INDEX TERMS
CITATION

I. Walukiewicz, D. McAllester, D. Niwinski, A. Podelski and W. Charatonik, "The Horn Mu-calculus," Logic in Computer Science, Symposium on(LICS), Indianapolis, Indiana, 1998, pp. 58.
doi:10.1109/LICS.1998.705643
83 ms
(Ver 3.3 (11022016))