E-LIB Suche - Ergebnisse für: Miller, Dale

1

Focusing Gentzen's LK Proof System:

, In: Peter Schroeder-Heister on Proof-Theoretic Semantics; Outstanding Contributions to Logic,

Liang, Chuck ; Miller, Dale - p. 275-313 , 2024

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

2

Functional and Logic Programming: 17th International Sympos..

Lecture Notes in Computer Science, 14659

Gibbons, Jeremy ; Miller, Dale - 1st ed. 2024 . , 2024

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

3

A system of inference based on proof search: an extended ab..:

, In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),

Miller, Dale - p. 1-11 , 2023

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

4

Formal Reasoning Using Distributed Assertions:

, In: Frontiers of Combining Systems; Lecture Notes in Computer Science,

Al Wardani, Farah ; Chaudhuri, Kaustuv ; Miller, Dale - p. 176-194 , 2023

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

5

From axioms to synthetic inference rules via focusing:

Marin, Sonia ; Miller, Dale ; Pimentel, Elaine.
Annals of Pure and Applied Logic. 173 (2022) 5 - p. 103091 , 2022

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

6

"We May Stand Aloof": Mill's Natural Penalties:

Miller, Dale
Journal of the History of Philosophy. 60 (2022) 3 - p. 453-473 , 2022

Link: https://doi.org/10.1353/..

7

The undecidability of proof search when equality is a logic..:

Miller, Dale ; Viel, Alexandre
Annals of Mathematics and Artificial Intelligence. 90 (2021) 5 - p. 523-535 , 2021

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

8

Functions-as-constructors higher-order unification: extende..:

Libal, Tomer ; Miller, Dale
Annals of Mathematics and Artificial Intelligence. 90 (2021) 5 - p. 455-479 , 2021

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

9

A Survey of the Proof-Theoretic Foundations of Logic Progra..:

MILLER, DALE
Theory and Practice of Logic Programming. 22 (2021) 6 - p. 859-904 , 2021

Link: https://doi.org/10.1017/..

10

Andre and the Early Days of Penn's Logic and Computation Gr..:

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

Miller, Dale - p. 69-70 , 2020

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

11

Proceedings of the 35th Annual ACM/IEEE Symposium on Logic ..:

Hermanns, Holger ; Zhang, Lijun ; Kobayashi, Naoki. , 2020

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

12

Extrinsically typed operational semantics for functional la..:

, In: Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering,

Cimini, Matteo ; Miller, Dale ; Siek, Jeremy G. - p. 108-125 , 2020

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

13

A Distributed and Trusted Web of Formal Proofs:

, In: Distributed Computing and Internet Technology; Lecture Notes in Computer Science,

Miller, Dale - p. 21-40 , 2019

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

14

A proof-theoretic approach to certifying skolemization:

, In: Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs,

Chaudhuri, Kaustuv ; Manighetti, Matteo ; Miller, Dale - p. 78-90 , 2019

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

15

Companion shopping: the influence on mall brand experiences:

Merrilees, Bill ; Miller, Dale
Marketing Intelligence & Planning. 37 (2019) 4 - p. 465-478 , 2019

Link: https://doi.org/10.1108/..