Articoli con mandati relativi all'accesso pubblico - Dale MillerUlteriori informazioni
Disponibili pubblicamente: 21
Abella: A system for reasoning about relational specifications
D Baelde, K Chaudhuri, A Gacek, D Miller, G Nadathur, A Tiu, Y Wang
Journal of formalized reasoning 7 (2), 1-89, 2014
Mandati: European Commission
Automation of higher-order logic
C Benzmüller, D Miller
Handbook of the History of Logic. Computational Logic 9, 215-254, 2014
Mandati: German Research Foundation, European Commission
A semantic framework for proof evidence
Z Chihani, D Miller, F Renaud
Journal of Automated Reasoning 59, 287-330, 2017
Mandati: European Commission
A multi-focused proof system isomorphic to expansion proofs
K Chaudhuri, S Hetzl, D Miller
Journal of Logic and Computation 26 (2), 577-603, 2016
Mandati: Austrian Science Fund, European Commission
Focused labeled proof systems for modal logic
D Miller, M Volpe
Logic for Programming, Artificial Intelligence, and Reasoning, 266-280, 2015
Mandati: European Commission
Functions-as-constructors higher-order unification
T Libal, D Miller
1st International Conference on Formal Structures for Computation and …, 2016
Mandati: European Commission
A proof theory for model checking
Q Heath, D Miller
Journal of Automated Reasoning 63 (4), 857-885, 2019
Mandati: European Commission
A focused framework for emulating modal proof systems
S Marin, D Miller, M Volpe
11th conference on" Advances in Modal Logic", 469-488, 2016
Mandati: European Commission
Mechanized metatheory revisited
D Miller
Journal of Automated Reasoning 63 (3), 625-665, 2019
Mandati: European Commission
Translating between implicit and explicit versions of proof
R Blanco, Z Chihani, D Miller
Automated Deduction–CADE 26: 26th International Conference on Automated …, 2017
Mandati: European Commission
A lightweight formalization of the metatheory of bisimulation-up-to
K Chaudhuri, M Cimini, D Miller
Proceedings of the 2015 Conference on Certified Programs and Proofs, 157-166, 2015
Mandati: European Commission
Property-based testing via proof reconstruction
R Blanco, D Miller, A Momigliano
Proceedings of the 21st International Symposium on Principles and Practice …, 2019
Mandati: European Commission, Governo Italiano
Proof checking and logic programming
D Miller
Proceedings of the 17th International Symposium on Principles and Practice …, 2015
Mandati: European Commission
A systematic approach to canonicity in the classical sequent calculus
K Chaudhuri, S Hetzl, D Miller
Computer Science Logic (CSL'12)-26th International Workshop/21st Annual …, 2012
Mandati: Austrian Science Fund
Extrinsically typed operational semantics for functional languages
M Cimini, D Miller, JG Siek
Proceedings of the 13th ACM SIGPLAN International Conference on Software …, 2020
Mandati: US National Science Foundation
Proof certificates for equality reasoning
Z Chihani, D Miller
Electronic Notes in Theoretical Computer Science 323, 93-108, 2016
Mandati: European Commission
On subexponentials, synthetic connectives, and multi-level delimited control
C Liang, D Miller
Logic for Programming, Artificial Intelligence, and Reasoning: 20th …, 2015
Mandati: European Commission
Classical polarizations yield double-negation translations
Z Chihani, D Ilik, D Miller
Mandati: European Commission
Extracting proofs from tabled proof search
D Miller, A Tiu
International Conference on Certified Programs and Proofs, 194-210, 2013
Mandati: Australian Research Council, European Commission
PROOFCERT–Broad Spectrum Proof Certificates–ERC
D Miller
Impact 2017 (3), 68-70, 2017
Mandati: European Commission
Le informazioni sulla pubblicazione e sul finanziamento vengono stabilite automaticamente da un software