Direct Resolution for Modal-like Logics

Areces, C. and Heguiabehere, J.. Direct Resolution for Modal-like Logics. In Proceedings of the 3rd International Workshop on the Implementation of Logics, pp. 3–16, Tbilisi, Georgia, 2002.

Download: [pdf] 

Abstract:

(unavailable)

BibTeX: (download)

@INPROCEEDINGS{arec:dire02,
  author = {Areces, C. and Heguiabehere, J.},
  title = {Direct Resolution for Modal-like Logics},
  booktitle = {Proceedings of the 3rd International Workshop on the Implementation
	of Logics},
  year = {2002},
  pages = {3--16},
  address = {Tbilisi, Georgia},
}

Generated by bib2html.pl (written by Patrick Riley) on Sun Oct 02, 2016 17:05:49