Modal Theorem Proving: An Equational Viewpoint

Has publishing details pp. 441-445, 1989

Has title Modal Theorem Proving: An Equational Viewpoint

Has url http://www.informatik.uni-trier.de/~ley/db/conf/ijcai/ijcai89.html#AuffrayE89

Has where published IJCAI

Has year 1989

Has author Yves Auffray +, Patrice Enjalbert +

Has identifier Modal Theorem Proving: An Equational Viewpoint +

Categories Proceeding Paper +