Steven D. Litvintchouk

Massachusetts Institute of Technology Cambrid11e , MA 02.139

1 paper in the IJCAI proceedings

IJCAI 1977

A Proof-Checker for Dynamic Logic

with Vaughan R. Pratt

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings