 |
||||||
| CMSRA-IV Lisbon, 2005
home |
conference publications | |||||
| In addition to a local proceedings and online proceedings, the best papers from CMSRA-IV will be published in a special issue of the Journal of Applied Logic, Elsevier Science Press, The Netherlands. Dov Gabbay (King's College, London), editor. | ||||||