Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 1.


Nalon, C, Marcos, J and Dixon, C
(2014) Clausal Resolution for Modal Logics of Confluence. In: International Joint Conference on Automated Reasoning (IJCAR), Vienna University of Technology. (In Press)

This list was generated on Wed Feb 7 14:56:56 2024 GMT.