Cláudia Nalon

发表

Cláudia Nalon, 2004, Advances in Modal Logic.
Clare Dixon, Cláudia Nalon, Ullrich Hustadt, 2020, J. Autom. Reason..
Clare Dixon, Cláudia Nalon, João Marcos, 2014, IJCAR.
Clare Dixon, Ullrich Hustadt, Cláudia Nalon, 2019, ACM Trans. Comput. Log..
Clare Dixon, Ullrich Hustadt, Lan Zhang, 2014, SR.
Elaine Pimentel, Cláudia Nalon, João Marcos, 2018, SIGL.
Clare Dixon, Cláudia Nalon, 2006, JELIA.
Clare Dixon, Ullrich Hustadt, Lan Zhang, 2014, J. Log. Comput..
Meena Mahajan, Cláudia Nalon, Olaf Beyersdorff, 2020, Dagstuhl Reports.
Clare Dixon, Ullrich Hustadt, Cláudia Nalon, 2018, Journal of Automated Reasoning.
Clare Dixon, Ullrich Hustadt, Cláudia Nalon, 2018, PAAR@FLoC.
Gilles Dowek, Cláudia Nalon, Edward Hermann Haeusler, 2014, LSFA.
Clare Dixon, Michael Fisher, Cláudia Nalon, 2003, 10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings..
Dirk Pattinson, Cláudia Nalon, D. Pattinson, 2018, IJCAR.
Clare Dixon, Ullrich Hustadt, Cláudia Nalon, 2017, IJCAI.
Cláudia Nalon, Giselle Reis, 2020, LSFA.
Clare Dixon, Ullrich Hustadt, Lan Zhang, 2015, TABLEAUX.
Cláudia Nalon, Oliver Kutz, O. Kutz, 2014, LSFA.
Jacques Wainer, Cláudia Nalon, 1998, SBIA.
Clare Dixon, Ullrich Hustadt, Cláudia Nalon, 2016, IJCAR.
Renate A. Schmidt, Cláudia Nalon, R. Schmidt, 2017, Lecture Notes in Computer Science.
Clare Dixon, Michael Fisher, Cláudia Nalon, 2004, J. Appl. Non Class. Logics.
Clare Dixon, Cláudia Nalon, C. Dixon, 2007, J. Algorithms.
Clare Dixon, Ullrich Hustadt, Cláudia Nalon, 2015, TABLEAUX.
Cláudia Nalon, Edward Hermann Haeusler, Bruno Lopes, 2021, ACM Trans. Comput. Log..
Clare Dixon, Ullrich Hustadt, Cláudia Nalon, 2021, CADE.
Clare Dixon, Ullrich Hustadt, Cláudia Nalon, 2014, J. Log. Comput..
Cláudia Nalon, João Marcos, João Marcos, 2016 .