E-LIB Suche - Ergebnisse für: Pattinson, Dirk

1

Non-iterative Modal Resolution Calculi:

, In: Automated Reasoning; Lecture Notes in Computer Science,

Pattinson, Dirk ; Nalon, Cláudia - p. 97-113 , 2024

Link: https://doi.org/10.1007/..

2

Resolution Calculi for Non-normal Modal Logics:

, In: Lecture Notes in Computer Science; Automated Reasoning with Analytic Tableaux and Related Methods,

Pattinson, Dirk ; Olivetti, Nicola ; Nalon, Cláudia - p. 322-341 , 2023

Link: https://doi.org/10.1007/..

3

COOL 2 – A Generic Reasoner for Modal Fixpoint Logics (Syst..:

, In: Automated Deduction – CADE 29; Lecture Notes in Computer Science,

Görlitz, Oliver ; Hausmann, Daniel ; Humml, Merlin... - p. 234-247 , 2023

Link: https://doi.org/10.1007/..

4

Coalgebraic Reasoning with Global Assumptions in Arithmetic..:

Kupke, Clemens ; Pattinson, Dirk ; Schröder, Lutz
ACM Transactions on Computational Logic. 23 (2022) 2 - p. 1-34 , 2022

Link: https://doi.org/10.1145/..

5

Hennessy-Milner properties via topological compactness:

de Groot, Jim ; Pattinson, Dirk
Information and Computation. 287 (2022) - p. 104757 , 2022

Link: https://doi.org/10.1016/..

6

Coalgebraic Reasoning with Global Assumptions in Arithmetic..:

Kupke, Clemens ; Pattinson, Dirk ; Schröder, Lutz
ACM Transactions on Computational Logic (TOCL). 23 (2022) 2 - p. 1-34 , 2022

Link: https://dl.acm.org/doi/1..

7

Automated Reasoning: 11th International Joint Conference, I..

Lecture Notes in Artificial Intelligence, 13385

Blanchette, Jasmin ; Kovács, Laura ; Pattinson, Dirk - 1st ed. 2022 . , 2022

Link: https://doi.org/10.1007/..

8

Modal meet-implication logic:

de Groot, Jim ; Pattinson, Dirk
Logical Methods in Computer Science. 18, Issue 3 (2022) - p. , 2022

Link: https://doi.org/10.46298..

9

Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis imp..:

, In: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science,

de Groot, Jim ; Litak, Tadeusz ; Pattinson, Dirk - p. 1-15 , 2021

Link: https://dl.acm.org/doi/1..

10

Domain Theoretic Second-Order Euler's Method for Solving In..:

Edalat, Abbas ; Farjudian, Amin ; Mohammadian, Mina.
Electronic Notes in Theoretical Computer Science. 352 (2020) - p. 105-128 , 2020

Link: https://doi.org/10.1016/..

11

Modal Intuitionistic Logics as Dialgebraic Logics:

, In: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science,

de Groot, Jim ; Pattinson, Dirk - p. 355-369 , 2020

Link: https://dl.acm.org/doi/1..

12

Verifiable Homomorphic Tallying for the Schulze Vote Counti..:

, In: Lecture Notes in Computer Science; Verified Software. Theories, Tools, and Experiments,

Haines, Thomas ; Pattinson, Dirk ; Tiwari, Mukesh - p. 36-53 , 2020

Link: https://doi.org/10.1007/..

13

A new foundation for finitary corecursion and iterative alg..:

Milius, Stefan ; Pattinson, Dirk ; Wißmann, Thorsten
Information and Computation. 271 (2020) - p. 104456 , 2020

Link: https://doi.org/10.1016/..

14

Modular Synthesis of Verified Verifiers of Computation with..:

, In: 2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE),

Ghale, Milad K. ; Pattinson, Dirk ; Norrish, Michael - p. 85-94 , 2019

Link: https://doi.org/10.1109/..

15

Hennessy-Milner Properties for (Modal) Bi-intuitionistic Lo..:

, In: Logic, Language, Information, and Computation; Lecture Notes in Computer Science,

de Groot, Jim ; Pattinson, Dirk - p. 161-176 , 2019

Link: https://doi.org/10.1007/..