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 ORCID: 0000-0002-4610-9533
(2014) Clausal Resolution for Modal Logics of Confluence. In: International Joint Conference on Automated Reasoning (IJCAR), Vienna University of Technology.

This list was generated on Tue Nov 24 07:10:47 2020 GMT.