Rajeev Gore

Rajeev Gore

Faculty of Information Technology, Monash University, Australia
monash.edu의 이메일 확인됨
3261회 인용
Logic Automated Reasoning Modal Logic Tableaux Electronic Voting
Cláudia Nalon

Cláudia Nalon

Computer Science, University of Brasília
unb.br의 이메일 확인됨
271회 인용
logics modal logics tableaux resolution proof method
Valentin Cassano

Valentin Cassano

Department of Mathematics, National University of Rio Cuarto and CONICET, Argentina
dc.exa.unrc.edu.ar의 이메일 확인됨
80회 인용
Logics and Formal Systems Non-monotonic Reasoning Modal Logic Proof Calculi Tableaux
Ezequiel Orbe

Ezequiel Orbe

FaMAF, Universidad Nacional de Cordoba, CONICET
famaf.unc.edu.ar의 이메일 확인됨
28회 인용
Automated Reasoning Modal Logics SMT Artificial Intelligence Tableaux