Browse by People


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


Nalon, Cláudia, Dixon, Clare and Hustadt, Ullrich ORCID: 0000-0002-0455-0267
(2019) Modal Resolution: Proofs, Layers, and Refinements. ACM Trans. Comput. Log., 20. 23:1 - 23:1.


Nalon, Cláudia, Zhang, Lan, Dixon, Clare ORCID: 0000-0002-4610-9533 and Hustadt, Ullrich ORCID: 0000-0002-0455-0267
(2014) A Resolution Prover for Coalition Logic. .


Nalon, Cláudia, Zhang, Lan, Dixon, Clare ORCID: 0000-0002-4610-9533 and Hustadt, Ullrich ORCID: 0000-0002-0455-0267
(2014) A resolution-based calculus for Coalition Logic. Journal of Logic and Computation, 24 (4). 883 - 917.


Nalon, Cláudia, Hustadt, Ullrich ORCID: 0000-0002-0455-0267 and Dixon, Clare
(2020) sf Kn : Architecture, Refinements, Strategies and Experiments. J. Autom. Reason., 64. 461 - 484.

This list was generated on Sun Jul 24 16:54:24 2022 BST.