Controlled model exploration

Areces, C., Infante-Lopez, G., and de Rijke, M.. Controlled model exploration. In Advances in Modal Logic, pp. 1–16, World Scientific Publishing Co. Pte. Ltd., 2003. Extended version of ``Decomposing Modal Logic'' (Areces, Infante-Lopez and de Rijke)

Download: [pdf] 

Abstract:

(unavailable)

BibTeX: (download)

@INPROCEEDINGS{arec:cont03,
  author = {Areces, C. and Infante-Lopez, G. and de Rijke, M.},
  title = {Controlled model exploration},
  booktitle = {Advances in Modal Logic},
  year = {2003},
  editor = {Balbiani, Ph. and Suzuki, N. and Wolter, F. and Zakharyaschev, M.},
  volume = {4},
  pages = {1-16},
  publisher = {World Scientific Publishing Co. Pte. Ltd.},
  note = {Extended version of ``Decomposing Modal Logic'' (Areces, Infante-Lopez
	and de Rijke)},
}

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