Search for persons
X
?
Automated Reasoning; Lecture Notes in Computer Science ,
1
Non-iterative Modal Resolution Calculi:
, In:
?
Lecture Notes in Computer Science; Automated Reasoning with Analytic Tableaux and Related Methods ,
2
Resolution Calculi for Non-normal Modal Logics:
, In:
?
Automated Deduction – CADE 29; Lecture Notes in Computer Science ,
3
COOL 2 – A Generic Reasoner for Modal Fixpoint Logics (Syst..:
, In:
?
7
Automated Reasoning: 11th International Joint Conference, I..
Lecture Notes in Artificial Intelligence, 13385
?
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science ,
9
Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis imp..:
, In:
?
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science ,
11
Modal Intuitionistic Logics as Dialgebraic Logics:
, In:
?
Lecture Notes in Computer Science; Verified Software. Theories, Tools, and Experiments ,
12
Verifiable Homomorphic Tallying for the Schulze Vote Counti..:
, In:
?
2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE) ,
14
Modular Synthesis of Verified Verifiers of Computation with..:
, In:
?
Logic, Language, Information, and Computation; Lecture Notes in Computer Science ,
15