top

Direct Resolution for Modal-like Logics

C. Areces and J. Heguiabehere. 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{areces02:_direc_resol_modal_logic,
  author = {C. Areces and J. Heguiabehere},
  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 Mon Aug 10, 2009 14:52:33