Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Dale Miller 0001
@inproceedings{DBLP:conf/csl/0001W23,
author = {Dale Miller and
Jui{-}Hsuan Wu},
editor = {Bartek Klin and
Elaine Pimentel},
title = {A Positive Perspective on Term Representation (Invited Talk)},
booktitle = {31st {EACSL} Annual Conference on Computer Science Logic, {CSL} 2023,
February 13-16, 2023, Warsaw, Poland},
series = {LIPIcs},
volume = {252},
pages = {3:1--3:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CSL.2023.3},
doi = {10.4230/LIPICS.CSL.2023.3},
timestamp = {Thu, 02 Feb 2023 12:49:12 +0100},
biburl = {https://dblp.org/rec/conf/csl/0001W23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/WardaniCM23,
author = {Farah Al Wardani and
Kaustuv Chaudhuri and
Dale Miller},
editor = {Uli Sattler and
Martin Suda},
title = {Formal Reasoning Using Distributed Assertions},
booktitle = {Frontiers of Combining Systems - 14th International Symposium, FroCoS
2023, Prague, Czech Republic, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14279},
pages = {176--194},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43369-6\_10},
doi = {10.1007/978-3-031-43369-6\_10},
timestamp = {Wed, 01 Nov 2023 08:59:02 +0100},
biburl = {https://dblp.org/rec/conf/frocos/WardaniCM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/000123a,
author = {Dale Miller},
title = {A system of inference based on proof search: an extended abstract},
booktitle = {{LICS}},
pages = {1--11},
year = {2023},
url = {https://doi.org/10.1109/LICS56636.2023.10175827},
doi = {10.1109/LICS56636.2023.10175827},
timestamp = {Thu, 20 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/000123a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-12704,
author = {Dale Miller},
title = {A system of inference based on proof search: an extended abstract},
journal = {CoRR},
volume = {abs/2307.12704},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.12704},
doi = {10.48550/ARXIV.2307.12704},
eprinttype = {arXiv},
eprint = {2307.12704},
timestamp = {Tue, 01 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-12704.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-13634,
author = {Matteo Manighetti and
Dale Miller},
title = {Peano Arithmetic and {\(\mu\)}MALL},
journal = {CoRR},
volume = {abs/2312.13634},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.13634},
doi = {10.48550/ARXIV.2312.13634},
eprinttype = {arXiv},
eprint = {2312.13634},
timestamp = {Wed, 17 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-13634.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/LibalM22,
author = {Tomer Libal and
Dale Miller},
title = {Functions-as-constructors higher-order unification: extended pattern
unification},
journal = {Ann. Math. Artif. Intell.},
volume = {90},
number = {5},
pages = {455--479},
year = {2022},
url = {https://doi.org/10.1007/s10472-021-09774-y},
doi = {10.1007/S10472-021-09774-Y},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/LibalM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/MillerV22,
author = {Dale Miller and
Alexandre Viel},
title = {The undecidability of proof search when equality is a logical connective},
journal = {Ann. Math. Artif. Intell.},
volume = {90},
number = {5},
pages = {523--535},
year = {2022},
url = {https://doi.org/10.1007/s10472-021-09764-0},
doi = {10.1007/S10472-021-09764-0},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/MillerV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/MarinMPV22,
author = {Sonia Marin and
Dale Miller and
Elaine Pimentel and
Marco Volpe},
title = {From axioms to synthetic inference rules via focusing},
journal = {Ann. Pure Appl. Log.},
volume = {173},
number = {5},
pages = {103091},
year = {2022},
url = {https://doi.org/10.1016/j.apal.2022.103091},
doi = {10.1016/J.APAL.2022.103091},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/MarinMPV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Miller22,
author = {Dale Miller},
title = {A Survey of the Proof-Theoretic Foundations of Logic Programming},
journal = {Theory Pract. Log. Program.},
volume = {22},
number = {6},
pages = {859--904},
year = {2022},
url = {https://doi.org/10.1017/S1471068421000533},
doi = {10.1017/S1471068421000533},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Miller22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-01483,
author = {Dale Miller},
title = {A Survey of the Proof-Theoretic Foundations of Logic Programming},
journal = {CoRR},
volume = {abs/2109.01483},
year = {2021},
url = {https://arxiv.org/abs/2109.01483},
eprinttype = {arXiv},
eprint = {2109.01483},
timestamp = {Mon, 20 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-01483.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/AlbersBMMNNPSS20,
author = {Susanne Albers and
Nikhil Bansal and
Elvira Mayordomo and
Dale Miller and
Jaroslav Nesetril and
Damian Niwinski and
David Peleg and
Vladimiro Sassone and
Alexandra Silva},
title = {{EATCS} Distinguished Dissertation Award 2020 - Call for Nominations},
journal = {Bull. {EATCS}},
volume = {132},
year = {2020},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/636},
timestamp = {Tue, 15 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/AlbersBMMNNPSS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Miller20,
author = {Dale Miller},
editor = {Vivek Nigam and
Tajana Ban Kirigin and
Carolyn L. Talcott and
Joshua D. Guttman and
Stepan L. Kuznetsov and
Boon Thau Loo and
Mitsuhiro Okada},
title = {Andre and the Early Days of Penn's Logic and Computation Group},
booktitle = {Logic, Language, and Security - Essays Dedicated to Andre Scedrov
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {12300},
pages = {69--70},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-62077-6\_6},
doi = {10.1007/978-3-030-62077-6\_6},
timestamp = {Sun, 12 Feb 2023 18:48:21 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Miller20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcit/Miller20,
author = {Dale Miller},
editor = {Dang Van Hung and
Meenakshi D'Souza},
title = {A Distributed and Trusted Web of Formal Proofs},
booktitle = {Distributed Computing and Internet Technology - 16th International
Conference, {ICDCIT} 2020, Bhubaneswar, India, January 9-12, 2020,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11969},
pages = {21--40},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-36987-3\_2},
doi = {10.1007/978-3-030-36987-3\_2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icdcit/Miller20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/Cimini0S20,
author = {Matteo Cimini and
Dale Miller and
Jeremy G. Siek},
editor = {Ralf L{\"{a}}mmel and
Laurence Tratt and
Juan de Lara},
title = {Extrinsically typed operational semantics for functional languages},
booktitle = {Proceedings of the 13th {ACM} {SIGPLAN} International Conference on
Software Language Engineering, {SLE} 2020, Virtual Event, USA, November
16-17, 2020},
pages = {108--125},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3426425.3426936},
doi = {10.1145/3426425.3426936},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sle/Cimini0S20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/Manighetti0M20,
author = {Matteo Manighetti and
Dale Miller and
Alberto Momigliano},
editor = {Ugo de'Liguoro and
Stefano Berardi and
Thorsten Altenkirch},
title = {Two Applications of Logic Programming to Coq},
booktitle = {26th International Conference on Types for Proofs and Programs, {TYPES}
2020, March 2-5, 2020, University of Turin, Italy},
series = {LIPIcs},
volume = {188},
pages = {10:1--10:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.TYPES.2020.10},
doi = {10.4230/LIPICS.TYPES.2020.10},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/Manighetti0M20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lics/2020,
editor = {Holger Hermanns and
Lijun Zhang and
Naoki Kobayashi and
Dale Miller},
title = {{LICS} '20: 35th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, Saarbr{\"{u}}cken, Germany, July 8-11, 2020},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373718},
doi = {10.1145/3373718},
isbn = {978-1-4503-7104-9},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/PelegAM0NNS19,
author = {David Peleg and
Susanne Albers and
Elvira Mayordomo and
Dale Miller and
Jaroslav Nesetril and
Damian Niwinski and
Vladimiro Sassone},
title = {{EATCS} Distinguished Dissertation Award 2019 - Call for Nominations},
journal = {Bull. {EATCS}},
volume = {129},
year = {2019},
url = {http://bulletin.eatcs.org/index.php/beatcs/article/view/601/610},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/PelegAM0NNS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Miller19,
author = {Dale Miller},
title = {Mechanized Metatheory Revisited},
journal = {J. Autom. Reason.},
volume = {63},
number = {3},
pages = {625--665},
year = {2019},
url = {https://doi.org/10.1007/s10817-018-9483-3},
doi = {10.1007/S10817-018-9483-3},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Miller19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/HeathM19,
author = {Quentin Heath and
Dale Miller},
title = {A Proof Theory for Model Checking},
journal = {J. Autom. Reason.},
volume = {63},
number = {4},
pages = {857--885},
year = {2019},
url = {https://doi.org/10.1007/s10817-018-9475-3},
doi = {10.1007/S10817-018-9475-3},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/HeathM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/ChaudhuriM019,
author = {Kaustuv Chaudhuri and
Matteo Manighetti and
Dale Miller},
editor = {Assia Mahboubi and
Magnus O. Myreen},
title = {A proof-theoretic approach to certifying skolemization},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Conference on
Certified Programs and Proofs, {CPP} 2019, Cascais, Portugal, January
14-15, 2019},
pages = {78--90},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3293880.3294094},
doi = {10.1145/3293880.3294094},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpp/ChaudhuriM019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Blanco0M19,
author = {Roberto Blanco and
Dale Miller and
Alberto Momigliano},
editor = {Ekaterina Komendantskaya},
title = {Property-Based Testing via Proof Reconstruction},
booktitle = {Proceedings of the 21st International Symposium on Principles and
Practice of Programming Languages, {PPDP} 2019, Porto, Portugal, October
7-9, 2019},
pages = {5:1--5:13},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3354166.3354170},
doi = {10.1145/3354166.3354170},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/Blanco0M19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Gerard0S19,
author = {Ulysse G{\'{e}}rard and
Dale Miller and
Gabriel Scherer},
editor = {Ekaterina Komendantskaya},
title = {Functional programming with {\(\lambda\)}-tree syntax},
booktitle = {Proceedings of the 21st International Symposium on Principles and
Practice of Programming Languages, {PPDP} 2019, Porto, Portugal, October
7-9, 2019},
pages = {12:1--12:16},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3354166.3354177},
doi = {10.1145/3354166.3354177},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/Gerard0S19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1910-08712,
editor = {Dale Miller and
Ivan Scagnetto},
title = {Proceedings of the Fourteenth Workshop on Logical Frameworks and Meta-Languages:
Theory and Practice, LFMTP@LICS 2019, Vancouver, Canada, 22nd June
2019},
series = {{EPTCS}},
volume = {307},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.307},
doi = {10.4204/EPTCS.307},
timestamp = {Mon, 11 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-08712.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-03619,
author = {Ulysse G{\'{e}}rard and
Dale Miller and
Gabriel Scherer},
title = {Functional programming with lambda-tree syntax},
journal = {CoRR},
volume = {abs/1908.03619},
year = {2019},
url = {http://arxiv.org/abs/1908.03619},
eprinttype = {arXiv},
eprint = {1908.03619},
timestamp = {Mon, 19 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-03619.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Miller17,
author = {Dale Miller},
title = {Proof checking and logic programming},
journal = {Formal Aspects Comput.},
volume = {29},
number = {3},
pages = {383--399},
year = {2017},
url = {https://doi.org/10.1007/s00165-016-0393-z},
doi = {10.1007/S00165-016-0393-Z},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Miller17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/ChihaniMR17,
author = {Zakaria Chihani and
Dale Miller and
Fabien Renaud},
title = {A Semantic Framework for Proof Evidence},
journal = {J. Autom. Reason.},
volume = {59},
number = {3},
pages = {287--330},
year = {2017},
url = {https://doi.org/10.1007/s10817-016-9380-6},
doi = {10.1007/S10817-016-9380-6},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/ChihaniMR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BlancoCM17,
author = {Roberto Blanco and
Zakaria Chihani and
Dale Miller},
editor = {Leonardo de Moura},
title = {Translating Between Implicit and Explicit Versions of Proof},
booktitle = {Automated Deduction - {CADE} 26 - 26th International Conference on
Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10395},
pages = {255--273},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63046-5\_16},
doi = {10.1007/978-3-319-63046-5\_16},
timestamp = {Thu, 29 Sep 2022 08:36:56 +0200},
biburl = {https://dblp.org/rec/conf/cade/BlancoCM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/GerardM17,
author = {Ulysse G{\'{e}}rard and
Dale Miller},
editor = {Valentin Goranko and
Mads Dam},
title = {Separating Functional Computation from Relations},
booktitle = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
August 20-24, 2017, Stockholm, Sweden},
series = {LIPIcs},
volume = {82},
pages = {23:1--23:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.CSL.2017.23},
doi = {10.4230/LIPICS.CSL.2017.23},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/GerardM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rta/2017,
editor = {Dale Miller},
title = {2nd International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2017, September 3-9, 2017, Oxford, {UK}},
series = {LIPIcs},
volume = {84},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {http://www.dagstuhl.de/dagpub/978-3-95977-047-7},
isbn = {978-3-95977-047-7},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rta/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/ChaudhuriHM16,
author = {Kaustuv Chaudhuri and
Stefan Hetzl and
Dale Miller},
title = {A multi-focused proof system isomorphic to expansion proofs},
journal = {J. Log. Comput.},
volume = {26},
number = {2},
pages = {577--603},
year = {2016},
url = {https://doi.org/10.1093/logcom/exu030},
doi = {10.1093/LOGCOM/EXU030},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/ChaudhuriHM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GazeauMP16,
author = {Ivan Gazeau and
Dale Miller and
Catuscia Palamidessi},
title = {Preserving differential privacy under finite-precision semantics},
journal = {Theor. Comput. Sci.},
volume = {655},
pages = {92--108},
year = {2016},
url = {https://doi.org/10.1016/j.tcs.2016.01.015},
doi = {10.1016/J.TCS.2016.01.015},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/GazeauMP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/MarinMV16,
author = {Sonia Marin and
Dale Miller and
Marco Volpe},
editor = {Lev D. Beklemishev and
St{\'{e}}phane Demri and
Andr{\'{a}}s Mat{\'{e}}},
title = {A focused framework for emulating modal proof systems},
booktitle = {Advances in Modal Logic 11, proceedings of the 11th conference on
"Advances in Modal Logic," held in Budapest, Hungary, August 30 -
September 2, 2016},
pages = {469--488},
publisher = {College Publications},
year = {2016},
url = {http://www.aiml.net/volumes/volume11/Marin-Miller-Volpe.pdf},
timestamp = {Tue, 16 Jan 2024 17:18:03 +0100},
biburl = {https://dblp.org/rec/conf/aiml/MarinMV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/LibalM16,
author = {Tomer Libal and
Dale Miller},
editor = {Delia Kesner and
Brigitte Pientka},
title = {Functions-as-Constructors Higher-Order Unification},
booktitle = {1st International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2016, June 22-26, 2016, Porto, Portugal},
series = {LIPIcs},
volume = {52},
pages = {26:1--26:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2016.26},
doi = {10.4230/LIPICS.FSCD.2016.26},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/LibalM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/Miller16,
author = {Dale Miller},
editor = {Silvia Ghilezan and
Herman Geuvers and
Jelena Ivetic},
title = {Mechanized Metatheory Revisited: An Extended Abstract (Invited Paper)},
booktitle = {22nd International Conference on Types for Proofs and Programs, {TYPES}
2016, May 23-26, 2016, Novi Sad, Serbia},
series = {LIPIcs},
volume = {97},
pages = {1:1--1:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.TYPES.2016.1},
doi = {10.4230/LIPICS.TYPES.2016.1},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/Miller16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/HeathM17,
author = {Quentin Heath and
Dale Miller},
editor = {Iliano Cervesato and
Maribel Fern{\'{a}}ndez},
title = {A Proof Theory for Model Checking: An Extended Abstract},
booktitle = {Proceedings Fourth International Workshop on Linearity, {LINEARITY}
2016, Porto, Portugal, 25 June 2016},
series = {{EPTCS}},
volume = {238},
pages = {1--10},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.238.1},
doi = {10.4204/EPTCS.238.1},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HeathM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CiminiMS16,
author = {Matteo Cimini and
Dale Miller and
Jeremy G. Siek},
title = {Well-Typed Languages are Sound},
journal = {CoRR},
volume = {abs/1611.05105},
year = {2016},
url = {http://arxiv.org/abs/1611.05105},
eprinttype = {arXiv},
eprint = {1611.05105},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CiminiMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/ChaudhuriCM15,
author = {Kaustuv Chaudhuri and
Matteo Cimini and
Dale Miller},
editor = {Xavier Leroy and
Alwen Tiu},
title = {A Lightweight Formalization of the Metatheory of Bisimulation-Up-To},
booktitle = {Proceedings of the 2015 Conference on Certified Programs and Proofs,
{CPP} 2015, Mumbai, India, January 15-17, 2015},
pages = {157--166},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676724.2693170},
doi = {10.1145/2676724.2693170},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpp/ChaudhuriCM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Miller15,
author = {Dale Miller},
editor = {Moreno Falaschi},
title = {Proof Checking and Logic Programming},
booktitle = {Logic-Based Program Synthesis and Transformation - 25th International
Symposium, {LOPSTR} 2015, Siena, Italy, July 13-15, 2015. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9527},
pages = {3--17},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-27436-2\_1},
doi = {10.1007/978-3-319-27436-2\_1},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Miller15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BlancoLM15,
author = {Roberto Blanco and
Tomer Libal and
Dale Miller},
editor = {Boris Konev and
Stephan Schulz and
Laurent Simon},
title = {Defining the meaning of {TPTP} formatted proofs},
booktitle = {IWIL@LPAR 2015, 11th International Workshop on the Implementation
of Logics, Suva, Fiji, November 23, 2015},
series = {EPiC Series in Computing},
volume = {40},
pages = {78--90},
publisher = {EasyChair},
year = {2015},
url = {https://doi.org/10.29007/xtc2},
doi = {10.29007/XTC2},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BlancoLM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/MillerV15,
author = {Dale Miller and
Marco Volpe},
editor = {Martin Davis and
Ansgar Fehnker and
Annabelle McIver and
Andrei Voronkov},
title = {Focused Labeled Proof Systems for Modal Logic},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 20th
International Conference, {LPAR-20} 2015, Suva, Fiji, November 24-28,
2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9450},
pages = {266--280},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48899-7\_19},
doi = {10.1007/978-3-662-48899-7\_19},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/MillerV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/LiangM15,
author = {Chuck C. Liang and
Dale Miller},
editor = {Martin Davis and
Ansgar Fehnker and
Annabelle McIver and
Andrei Voronkov},
title = {On Subexponentials, Synthetic Connectives, and Multi-level Delimited
Control},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 20th
International Conference, {LPAR-20} 2015, Suva, Fiji, November 24-28,
2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9450},
pages = {297--312},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48899-7\_21},
doi = {10.1007/978-3-662-48899-7\_21},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/LiangM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Miller15,
author = {Dale Miller},
editor = {Moreno Falaschi and
Elvira Albert},
title = {Proof checking and logic programming},
booktitle = {Proceedings of the 17th International Symposium on Principles and
Practice of Declarative Programming, Siena, Italy, July 14-16, 2015},
pages = {18},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2790449.2790510},
doi = {10.1145/2790449.2790510},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/Miller15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BlancoM15,
author = {Roberto Blanco and
Dale Miller},
editor = {Iliano Cervesato and
Carsten Sch{\"{u}}rmann},
title = {Proof Outlines as Proof Certificates: {A} System Description},
booktitle = {Proceedings First International Workshop on Focusing, WoF 2015, Suva,
Fiji, 23rd November 2015},
series = {{EPTCS}},
volume = {197},
pages = {7--14},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.197.2},
doi = {10.4204/EPTCS.197.2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BlancoM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/HeathM15,
author = {Quentin Heath and
Dale Miller},
editor = {Cezary Kaliszyk and
Andrei Paskevich},
title = {A framework for proof certificates in finite state exploration},
booktitle = {Proceedings Fourth Workshop on Proof eXchange for Theorem Proving,
PxTP 2015, Berlin, Germany, August 2-3, 2015},
series = {{EPTCS}},
volume = {186},
pages = {11--26},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.186.4},
doi = {10.4204/EPTCS.186.4},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HeathM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ChihaniM16,
author = {Zakaria Chihani and
Dale Miller},
editor = {Mario R. F. Benevides and
Ren{\'{e}} Thiemann},
title = {Proof Certificates for Equality Reasoning},
booktitle = {Proceedings of the Tenth Workshop on Logical and Semantic Frameworks,
with Applications, {LSFA} 2015, Natal, Brazil, August 31 - September
1, 2015},
series = {Electronic Notes in Theoretical Computer Science},
volume = {323},
pages = {93--108},
publisher = {Elsevier},
year = {2015},
url = {https://doi.org/10.1016/j.entcs.2016.06.007},
doi = {10.1016/J.ENTCS.2016.06.007},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/ChihaniM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfrea/BaeldeCGMNTW14,
author = {David Baelde and
Kaustuv Chaudhuri and
Andrew Gacek and
Dale Miller and
Gopalan Nadathur and
Alwen Tiu and
Yuting Wang},
title = {Abella: {A} System for Reasoning about Relational Specifications},
journal = {J. Formaliz. Reason.},
volume = {7},
number = {2},
pages = {1--89},
year = {2014},
url = {https://doi.org/10.6092/issn.1972-5787/4650},
doi = {10.6092/ISSN.1972-5787/4650},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfrea/BaeldeCGMNTW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csl/2014,
editor = {Thomas A. Henzinger and
Dale Miller},
title = {Joint Meeting of the Twenty-Third {EACSL} Annual Conference on Computer
Science Logic {(CSL)} and the Twenty-Ninth Annual {ACM/IEEE} Symposium
on Logic in Computer Science (LICS), {CSL-LICS} '14, Vienna, Austria,
July 14 - 18, 2014},
publisher = {{ACM}},
year = {2014},
url = {http://dl.acm.org/citation.cfm?id=2603088},
isbn = {978-1-4503-2886-9},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/BenzmullerM14,
author = {Christoph Benzm{\"{u}}ller and
Dale Miller},
editor = {J{\"{o}}rg H. Siekmann},
title = {Automation of Higher-Order Logic},
booktitle = {Computational Logic},
series = {Handbook of the History of Logic},
volume = {9},
pages = {215--254},
publisher = {Elsevier},
year = {2014},
url = {https://doi.org/10.1016/B978-0-444-51624-4.50005-8},
doi = {10.1016/B978-0-444-51624-4.50005-8},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/hhl/BenzmullerM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/LiangM13,
author = {Chuck C. Liang and
Dale Miller},
title = {Kripke semantics and proof systems for combining intuitionistic logic
and classical logic},
journal = {Ann. Pure Appl. Log.},
volume = {164},
number = {2},
pages = {86--111},
year = {2013},
url = {https://doi.org/10.1016/j.apal.2012.09.005},
doi = {10.1016/J.APAL.2012.09.005},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/LiangM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MillerP13,
author = {Dale Miller and
Elaine Pimentel},
title = {A formal framework for specifying sequent calculus proof systems},
journal = {Theor. Comput. Sci.},
volume = {474},
pages = {98--116},
year = {2013},
url = {https://doi.org/10.1016/j.tcs.2012.12.008},
doi = {10.1016/J.TCS.2012.12.008},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/MillerP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ChihaniMR13a,
author = {Zakaria Chihani and
Dale Miller and
Fabien Renaud},
editor = {Jasmin Christian Blanchette and
Josef Urban},
title = {Checking Foundational Proof Certificates for First-Order Logic (Extended
Abstract)},
booktitle = {Third International Workshop on Proof Exchange for Theorem Proving,
PxTP 2013, Lake Placid, NY, USA, June 9-10, 2013},
series = {EPiC Series in Computing},
volume = {14},
pages = {58--66},
publisher = {EasyChair},
year = {2013},
url = {https://doi.org/10.29007/7gnr},
doi = {10.29007/7GNR},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/ChihaniMR13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ChihaniMR13,
author = {Zakaria Chihani and
Dale Miller and
Fabien Renaud},
editor = {Maria Paola Bonacina},
title = {Foundational Proof Certificates in First-Order Logic},
booktitle = {Automated Deduction - {CADE-24} - 24th International Conference on
Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7898},
pages = {162--177},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38574-2\_11},
doi = {10.1007/978-3-642-38574-2\_11},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/ChihaniMR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/MillerT13,
author = {Dale Miller and
Alwen Tiu},
editor = {Georges Gonthier and
Michael Norrish},
title = {Extracting Proofs from Tabled Proof Search},
booktitle = {Certified Programs and Proofs - Third International Conference, {CPP}
2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8307},
pages = {194--210},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03545-1\_13},
doi = {10.1007/978-3-319-03545-1\_13},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpp/MillerT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfmtp/Miller13,
author = {Dale Miller},
editor = {Alberto Momigliano and
Brigitte Pientka and
Randy Pollack},
title = {Foundational proof certificates: making proof universal and permanent},
booktitle = {Proceedings of the Eighth {ACM} {SIGPLAN} International Workshop on
Logical Frameworks {\&} Meta-languages: Theory {\&} Practice,
{LFMTP} 2013, Boston, Massachusetts, USA, September 23, 2013},
pages = {1--2},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2503887.2503894},
doi = {10.1145/2503887.2503894},
timestamp = {Tue, 06 Nov 2018 16:57:31 +0100},
biburl = {https://dblp.org/rec/conf/lfmtp/Miller13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/LiangM13,
author = {Chuck C. Liang and
Dale Miller},
title = {Unifying Classical and Intuitionistic Logics for Computational Control},
booktitle = {28th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2013, New Orleans, LA, USA, June 25-28, 2013},
pages = {283--292},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/LICS.2013.34},
doi = {10.1109/LICS.2013.34},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/LiangM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/GazeauMP13,
author = {Ivan Gazeau and
Dale Miller and
Catuscia Palamidessi},
editor = {Luca Bortolussi and
Herbert Wiklicky},
title = {Preserving differential privacy under finite-precision semantics},
booktitle = {Proceedings 11th International Workshop on Quantitative Aspects of
Programming Languages and Systems, {QAPL} 2013, Rome, Italy, March
23-24, 2013},
series = {{EPTCS}},
volume = {117},
pages = {1--18},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.117.1},
doi = {10.4204/EPTCS.117.1},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GazeauMP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0036008,
author = {Dale Miller and
Gopalan Nadathur},
title = {Programming with Higher-Order Logic},
publisher = {Cambridge University Press},
year = {2012},
url = {http://www.cambridge.org/de/academic/subjects/computer-science/programming-languages-and-applied-logic/programming-higher-order-logic?format=HB},
isbn = {978-0-521-87940-8},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/0036008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/GacekMN12,
author = {Andrew Gacek and
Dale Miller and
Gopalan Nadathur},
title = {A Two-Level Logic Approach to Reasoning About Computations},
journal = {J. Autom. Reason.},
volume = {49},
number = {2},
pages = {241--273},
year = {2012},
url = {https://doi.org/10.1007/s10817-011-9218-1},
doi = {10.1007/S10817-011-9218-1},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/GacekMN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/ChaudhuriHM12,
author = {Kaustuv Chaudhuri and
Stefan Hetzl and
Dale Miller},
editor = {Patrick C{\'{e}}gielski and
Arnaud Durand},
title = {A Systematic Approach to Canonicity in the Classical Sequent Calculus},
booktitle = {Computer Science Logic (CSL'12) - 26th International Workshop/21st
Annual Conference of the EACSL, {CSL} 2012, September 3-6, 2012, Fontainebleau,
France},
series = {LIPIcs},
volume = {16},
pages = {183--197},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.CSL.2012.183},
doi = {10.4230/LIPICS.CSL.2012.183},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/ChaudhuriHM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1202-0693,
author = {Ivan Gazeau and
Dale Miller and
Catuscia Palamidessi},
editor = {Herbert Wiklicky and
Mieke Massink},
title = {A non-local method for robustness analysis of floating point programs},
booktitle = {Proceedings 10th Workshop on Quantitative Aspects of Programming Languages
and Systems, {QAPL} 2012, Tallinn, Estonia, 31 March and 1 April 2012},
series = {{EPTCS}},
volume = {85},
pages = {63--76},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.85.5},
doi = {10.4204/EPTCS.85.5},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1202-0693.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2012,
editor = {Bernhard Gramlich and
Dale Miller and
Uli Sattler},
title = {Automated Reasoning - 6th International Joint Conference, {IJCAR}
2012, Manchester, UK, June 26-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7364},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31365-3},
doi = {10.1007/978-3-642-31365-3},
isbn = {978-3-642-31364-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cpp/2012,
editor = {Chris Hawblitzel and
Dale Miller},
title = {Certified Programs and Proofs - Second International Conference, {CPP}
2012, Kyoto, Japan, December 13-15, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7679},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35308-6},
doi = {10.1007/978-3-642-35308-6},
isbn = {978-3-642-35307-9},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpp/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1202-3174,
editor = {Dale Miller and
Zolt{\'{a}}n {\'{E}}sik},
title = {Proceedings 8th Workshop on Fixed Points in Computer Science, {FICS}
2012, Tallinn, Estonia, 24th March 2012},
series = {{EPTCS}},
volume = {77},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.77},
doi = {10.4204/EPTCS.77},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1202-3174.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/LiangM11,
author = {Chuck C. Liang and
Dale Miller},
title = {A focused approach to combining logics},
journal = {Ann. Pure Appl. Log.},
volume = {162},
number = {9},
pages = {679--697},
year = {2011},
url = {https://doi.org/10.1016/j.apal.2011.01.012},
doi = {10.1016/J.APAL.2011.01.012},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/LiangM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/GacekMN11,
author = {Andrew Gacek and
Dale Miller and
Gopalan Nadathur},
title = {Nominal abstraction},
journal = {Inf. Comput.},
volume = {209},
number = {1},
pages = {48--73},
year = {2011},
url = {https://doi.org/10.1016/j.ic.2010.09.004},
doi = {10.1016/J.IC.2010.09.004},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/GacekMN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/Miller11,
author = {Dale Miller},
editor = {Jean{-}Pierre Jouannaud and
Zhong Shao},
title = {A Proposal for Broad Spectrum Proof Certificates},
booktitle = {Certified Programs and Proofs - First International Conference, {CPP}
2011, Kenting, Taiwan, December 7-9, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7086},
pages = {54--69},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25379-9\_6},
doi = {10.1007/978-3-642-25379-9\_6},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpp/Miller11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/DelandeMS10,
author = {Olivier Delande and
Dale Miller and
Alexis Saurin},
title = {Proof and refutation in {MALL} as a game},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {5},
pages = {654--672},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2009.07.017},
doi = {10.1016/J.APAL.2009.07.017},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/DelandeMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/NigamM10,
author = {Vivek Nigam and
Dale Miller},
title = {A Framework for Proof Systems},
journal = {J. Autom. Reason.},
volume = {45},
number = {2},
pages = {157--188},
year = {2010},
url = {https://doi.org/10.1007/s10817-010-9182-1},
doi = {10.1007/S10817-010-9182-1},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/NigamM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/TiuM10,
author = {Alwen Tiu and
Dale Miller},
title = {Proof search specifications of bisimulation and modal logics for the
pi-calculus},
journal = {{ACM} Trans. Comput. Log.},
volume = {11},
number = {2},
pages = {13:1--13:35},
year = {2010},
url = {https://doi.org/10.1145/1656242.1656248},
doi = {10.1145/1656242.1656248},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/TiuM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/Miller10,
author = {Dale Miller},
editor = {Kazunori Ueda},
title = {Reasoning about Computations Using Two-Levels of Logic},
booktitle = {Programming Languages and Systems - 8th Asian Symposium, {APLAS} 2010,
Shanghai, China, November 28 - December 1, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6461},
pages = {34--46},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17164-2\_4},
doi = {10.1007/978-3-642-17164-2\_4},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/Miller10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BaeldeMS10,
author = {David Baelde and
Dale Miller and
Zachary Snow},
editor = {J{\"{u}}rgen Giesl and
Reiner H{\"{a}}hnle},
title = {Focused Inductive Theorem Proving},
booktitle = {Automated Reasoning, 5th International Joint Conference, {IJCAR} 2010,
Edinburgh, UK, July 16-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6173},
pages = {278--292},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14203-1\_24},
doi = {10.1007/978-3-642-14203-1\_24},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/BaeldeMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/Miller10,
author = {Dale Miller},
editor = {Luigi Santocanale},
title = {Fixed Points and Proof Theory: An Extended Abstract},
booktitle = {7th Workshop on Fixed Points in Computer Science, {FICS} 2010, Brno,
Czech Republic, August 21-22, 2010},
pages = {9--16},
publisher = {Laboratoire d'Informatique Fondamentale de Marseille},
year = {2010},
url = {https://hal.archives-ouvertes.fr/hal-00512377/document\#page=10},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fics/Miller10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LiangM09,
author = {Chuck C. Liang and
Dale Miller},
title = {Focusing and polarization in linear, intuitionistic, and classical
logics},
journal = {Theor. Comput. Sci.},
volume = {410},
number = {46},
pages = {4747--4768},
year = {2009},
url = {https://doi.org/10.1016/j.tcs.2009.07.041},
doi = {10.1016/J.TCS.2009.07.041},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/LiangM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/LiangM09,
author = {Chuck C. Liang and
Dale Miller},
title = {A Unified Sequent Calculus for Focused Proofs},
booktitle = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
pages = {355--364},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LICS.2009.47},
doi = {10.1109/LICS.2009.47},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/LiangM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/NigamM09,
author = {Vivek Nigam and
Dale Miller},
editor = {Ant{\'{o}}nio Porto and
Francisco Javier L{\'{o}}pez{-}Fraguas},
title = {Algorithmic specifications in linear logic with subexponentials},
booktitle = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, September 7-9,
2009, Coimbra, Portugal},
pages = {129--140},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1599410.1599427},
doi = {10.1145/1599410.1599427},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/NigamM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0908-1390,
author = {Andrew Gacek and
Dale Miller and
Gopalan Nadathur},
title = {Nominal Abstraction},
journal = {CoRR},
volume = {abs/0908.1390},
year = {2009},
url = {http://arxiv.org/abs/0908.1390},
eprinttype = {arXiv},
eprint = {0908.1390},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0908-1390.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0911-2993,
author = {Andrew Gacek and
Dale Miller and
Gopalan Nadathur},
title = {A two-level logic approach to reasoning about computations},
journal = {CoRR},
volume = {abs/0911.2993},
year = {2009},
url = {http://arxiv.org/abs/0911.2993},
eprinttype = {arXiv},
eprint = {0911.2993},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0911-2993.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Miller08,
author = {Dale Miller},
title = {Formalizing Operational Semantic Specifications in Logic},
journal = {Bull. {EATCS}},
volume = {96},
pages = {59--79},
year = {2008},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/Miller08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/NigamM08,
author = {Vivek Nigam and
Dale Miller},
editor = {Alessandro Armando and
Peter Baumgartner and
Gilles Dowek},
title = {Focusing in Linear Meta-logic},
booktitle = {Automated Reasoning, 4th International Joint Conference, {IJCAR} 2008,
Sydney, Australia, August 12-15, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5195},
pages = {507--522},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-71070-7\_42},
doi = {10.1007/978-3-540-71070-7\_42},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/NigamM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/ChaudhuriMS08,
author = {Kaustuv Chaudhuri and
Dale Miller and
Alexis Saurin},
editor = {Giorgio Ausiello and
Juhani Karhum{\"{a}}ki and
Giancarlo Mauri and
C.{-}H. Luke Ong},
title = {Canonical Sequent Proofs via Multi-Focusing},
booktitle = {Fifth {IFIP} International Conference On Theoretical Computer Science
- {TCS} 2008, {IFIP} 20th World Computer Congress, {TC} 1, Foundations
of Computer Science, September 7-10, 2008, Milano, Italy},
series = {{IFIP}},
volume = {273},
pages = {383--396},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-0-387-09680-3\_26},
doi = {10.1007/978-0-387-09680-3\_26},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifipTCS/ChaudhuriMS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/GacekMN08,
author = {Andrew Gacek and
Dale Miller and
Gopalan Nadathur},
title = {Combining Generic Judgments with Recursive Definitions},
booktitle = {Proceedings of the Twenty-Third Annual {IEEE} Symposium on Logic in
Computer Science, {LICS} 2008, 24-27 June 2008, Pittsburgh, PA, {USA}},
pages = {33--44},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/LICS.2008.33},
doi = {10.1109/LICS.2008.33},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/GacekMN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DelandeM08,
author = {Olivier Delande and
Dale Miller},
title = {A Neutral Approach to Proof and Refutation in {MALL}},
booktitle = {Proceedings of the Twenty-Third Annual {IEEE} Symposium on Logic in
Computer Science, {LICS} 2008, 24-27 June 2008, Pittsburgh, PA, {USA}},
pages = {498--508},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/LICS.2008.35},
doi = {10.1109/LICS.2008.35},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/DelandeM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GacekMN09,
author = {Andrew Gacek and
Dale Miller and
Gopalan Nadathur},
editor = {Andreas Abel and
Christian Urban},
title = {Reasoning in Abella about Structural Operational Semantics Specifications},
booktitle = {Proceedings of the International Workshop on Logical Frameworks and
Metalanguages: Theory and Practice, LFMTP@LICS 2008, Pittsburgh, PA,
USA, June 23, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {228},
pages = {85--100},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.118},
doi = {10.1016/J.ENTCS.2008.12.118},
timestamp = {Fri, 24 Feb 2023 10:26:24 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GacekMN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Miller09,
author = {Dale Miller},
editor = {Moreno Falaschi},
title = {Formalizing Operational Semantic Specifications in Logic},
booktitle = {Proceedings of the 17th International Workshop on Functional and (Constraint)
Logic Programming, {WFLP} 2008, Siena, Italy, July 3-4, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {246},
pages = {147--165},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.07.020},
doi = {10.1016/J.ENTCS.2009.07.020},
timestamp = {Thu, 09 Mar 2023 14:45:34 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Miller09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0802-0865,
author = {Andrew Gacek and
Dale Miller and
Gopalan Nadathur},
title = {Combining generic judgments with recursive definitions},
journal = {CoRR},
volume = {abs/0802.0865},
year = {2008},
url = {http://arxiv.org/abs/0802.0865},
eprinttype = {arXiv},
eprint = {0802.0865},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0802-0865.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0804-3914,
author = {Andrew Gacek and
Dale Miller and
Gopalan Nadathur},
title = {Reasoning in Abella about Structural Operational Semantics Specifications},
journal = {CoRR},
volume = {abs/0804.3914},
year = {2008},
url = {http://arxiv.org/abs/0804.3914},
eprinttype = {arXiv},
eprint = {0804.3914},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0804-3914.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0805-2785,
author = {Alwen Tiu and
Dale Miller},
title = {Proof Search Specifications for Bisimulation and Modal Logics for
the pi-Calculus},
journal = {CoRR},
volume = {abs/0805.2785},
year = {2008},
url = {http://arxiv.org/abs/0805.2785},
eprinttype = {arXiv},
eprint = {0805.2785},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0805-2785.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BaeldeGMNT07,
author = {David Baelde and
Andrew Gacek and
Dale Miller and
Gopalan Nadathur and
Alwen Tiu},
editor = {Frank Pfenning},
title = {The Bedwyr System for Model Checking over Syntactic Expressions},
booktitle = {Automated Deduction - CADE-21, 21st International Conference on Automated
Deduction, Bremen, Germany, July 17-20, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4603},
pages = {391--397},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73595-3\_28},
doi = {10.1007/978-3-540-73595-3\_28},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/BaeldeGMNT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/MillerS07,
author = {Dale Miller and
Alexis Saurin},
editor = {Jacques Duparc and
Thomas A. Henzinger},
title = {From Proofs to Focused Proofs: {A} Modular Proof of Focalization in
Linear Logic},
booktitle = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th
Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4646},
pages = {405--419},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74915-8\_31},
doi = {10.1007/978-3-540-74915-8\_31},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/MillerS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/LiangM07,
author = {Chuck C. Liang and
Dale Miller},
editor = {Jacques Duparc and
Thomas A. Henzinger},
title = {Focusing and Polarization in Intuitionistic Logic},
booktitle = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th
Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4646},
pages = {451--465},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74915-8\_34},
doi = {10.1007/978-3-540-74915-8\_34},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/LiangM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/MillerN07,
author = {Dale Miller and
Vivek Nigam},
editor = {Jacques Duparc and
Thomas A. Henzinger},
title = {Incorporating Tables into Proofs},
booktitle = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th
Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4646},
pages = {466--480},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74915-8\_35},
doi = {10.1007/978-3-540-74915-8\_35},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/MillerN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BaeldeM07,
author = {David Baelde and
Dale Miller},
editor = {Nachum Dershowitz and
Andrei Voronkov},
title = {Least and Greatest Fixed Points in Linear Logic},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 14th
International Conference, {LPAR} 2007, Yerevan, Armenia, October 15-19,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4790},
pages = {92--106},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75560-9\_9},
doi = {10.1007/978-3-540-75560-9\_9},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BaeldeM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0708-2230,
author = {Dale Miller},
title = {Collection analysis for Horn clause programs},
journal = {CoRR},
volume = {abs/0708.2230},
year = {2007},
url = {http://arxiv.org/abs/0708.2230},
eprinttype = {arXiv},
eprint = {0708.2230},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-0708-2230.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0708-2252,
author = {Chuck C. Liang and
Dale Miller},
title = {Focusing and Polarization in Intuitionistic Logic},
journal = {CoRR},
volume = {abs/0708.2252},
year = {2007},
url = {http://arxiv.org/abs/0708.2252},
eprinttype = {arXiv},
eprint = {0708.2252},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-0708-2252.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0702116,
author = {David Baelde and
Andrew Gacek and
Dale Miller and
Gopalan Nadathur and
Alwen Tiu},
title = {The Bedwyr system for model checking over syntactic expressions},
journal = {CoRR},
volume = {abs/cs/0702116},
year = {2007},
url = {http://arxiv.org/abs/cs/0702116},
eprinttype = {arXiv},
eprint = {cs/0702116},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0702116.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Miller06,
author = {Dale Miller},
editor = {Ulrich Furbach and
Natarajan Shankar},
title = {Representing and Reasoning with Operational Semantics},
booktitle = {Automated Reasoning, Third International Joint Conference, {IJCAR}
2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4130},
pages = {4--20},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11814771\_3},
doi = {10.1007/11814771\_3},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Miller06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/LeavensABBCFHJMJSSS06,
author = {Gary T. Leavens and
Jean{-}Raymond Abrial and
Don S. Batory and
Michael J. Butler and
Alessandro Coglio and
Kathi Fisler and
Eric C. R. Hehner and
Cliff B. Jones and
Dale Miller and
Simon L. Peyton Jones and
Murali Sitaraman and
Douglas R. Smith and
Aaron Stump},
editor = {Stan Jarzabek and
Douglas C. Schmidt and
Todd L. Veldhuizen},
title = {Roadmap for enhanced languages and methods to aid verification},
booktitle = {Generative Programming and Component Engineering, 5th International
Conference, {GPCE} 2006, Portland, Oregon, USA, October 22-26, 2006,
Proceedings},
pages = {221--236},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1173706.1173740},
doi = {10.1145/1173706.1173740},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gpce/LeavensABBCFHJMJSSS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Miller06,
author = {Dale Miller},
editor = {Annalisa Bossi and
Michael J. Maher},
title = {Collection analysis for Horn clause programs},
booktitle = {Proceedings of the 8th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 10-12, 2006,
Venice, Italy},
pages = {179--188},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1140335.1140357},
doi = {10.1145/1140335.1140357},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/Miller06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/MillerT05,
author = {Dale Miller and
Alwen Tiu},
title = {A proof theory for generic judgments},
journal = {{ACM} Trans. Comput. Log.},
volume = {6},
number = {4},
pages = {749--783},
year = {2005},
url = {https://doi.org/10.1145/1094622.1094628},
doi = {10.1145/1094622.1094628},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/MillerT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/galop/MillerS05,
author = {Dale Miller and
Alexis Saurin},
editor = {Dan R. Ghica and
Guy McCusker},
title = {A game semantics for proof search: preliminary results},
booktitle = {1st Workshop on Games for Logic and Programming Languages, GALOP@ETAPS
2005, Edinburgh, UK, 2-3 April 2005},
pages = {92--106},
year = {2005},
timestamp = {Thu, 25 Jun 2020 16:30:03 +0200},
biburl = {https://dblp.org/rec/conf/galop/MillerS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/PimentelM05,
author = {Elaine Pimentel and
Dale Miller},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {On the Specification of Sequent Systems},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {352--366},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_25},
doi = {10.1007/11591191\_25},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/PimentelM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ZieglerMP06,
author = {Axelle Ziegler and
Dale Miller and
Catuscia Palamidessi},
editor = {Peter D. Mosses and
Irek Ulidowski},
title = {A Congruence Format for Name-passing Calculi},
booktitle = {Proceedings of the Second Workshop on Structural Operational Semantics,
SOS@ICALP 2005, Lisbon, Portugal, July 10, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {156},
number = {1},
pages = {169--189},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.09.032},
doi = {10.1016/J.ENTCS.2005.09.032},
timestamp = {Thu, 15 Dec 2022 16:08:28 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ZieglerMP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Miller06,
author = {Dale Miller},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {A Proof Theoretic Approach to Operational Semantics},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {243--247},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.089},
doi = {10.1016/J.ENTCS.2005.12.089},
timestamp = {Fri, 20 Jan 2023 12:38:53 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Miller06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MillerS06,
author = {Dale Miller and
Alexis Saurin},
editor = {Mart{\'{\i}}n H{\"{o}}tzel Escard{\'{o}} and
Achim Jung and
Michael W. Mislove},
title = {A Game Semantics for Proof Search: Preliminary Results},
booktitle = {Proceedings of the 21st Annual Conference on Mathematical Foundations
of Programming Semantics, {MFPS} 2005, Birmingham, UK, May 18-21,
2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {155},
pages = {543--563},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.11.072},
doi = {10.1016/J.ENTCS.2005.11.072},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/MillerS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Miller04,
author = {Dale Miller},
editor = {Jerzy Marcinkowski and
Andrzej Tarlecki},
title = {Bindings, Mobility of Bindings, and the "generic judgments"-Quantifier:
An Abstract},
booktitle = {Computer Science Logic, 18th International Workshop, {CSL} 2004, 13th
Annual Conference of the EACSL, Karpacz, Poland, September 20-24,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3210},
pages = {24},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30124-0\_4},
doi = {10.1007/978-3-540-30124-0\_4},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Miller04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/TiuM05,
author = {Alwen Fernanto Tiu and
Dale Miller},
editor = {Julian Rathke},
title = {A Proof Search Specification of the pi-Calculus},
booktitle = {Proceedings of the Workshop 3rd on the Foundations of Global Ubiquitous
Computing, {FGUC} 2004, London, UK, September 3-4, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {138},
number = {1},
pages = {79--101},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.05.006},
doi = {10.1016/J.ENTCS.2005.05.006},
timestamp = {Tue, 13 Dec 2022 09:03:49 +0100},
biburl = {https://dblp.org/rec/journals/entcs/TiuM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/McDowellMP03,
author = {Raymond McDowell and
Dale Miller and
Catuscia Palamidessi},
title = {Encoding transition systems in sequent calculus},
journal = {Theor. Comput. Sci.},
volume = {294},
number = {3},
pages = {411--437},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(01)00168-2},
doi = {10.1016/S0304-3975(01)00168-2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/McDowellMP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/MillerT03,
author = {Dale Miller and
Alwen Fernanto Tiu},
title = {A Proof Theory for Generic Judgments: An extended abstract},
booktitle = {18th {IEEE} Symposium on Logic in Computer Science {(LICS} 2003),
22-25 June 2003, Ottawa, Canada, Proceedings},
pages = {118--127},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/LICS.2003.1210051},
doi = {10.1109/LICS.2003.1210051},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/MillerT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Miller03,
author = {Dale Miller},
editor = {David A. Basin and
Burkhart Wolff},
title = {Reasoning about Proof Search Specifications: An Abstract},
booktitle = {Theorem Proving in Higher Order Logics, 16th International Conference,
TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2758},
pages = {204},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/10930755\_13},
doi = {10.1007/10930755\_13},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Miller03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Miller03,
author = {Dale Miller},
editor = {Ruy J. G. B. de Queiroz and
Elaine Pimentel and
Luc{\'{\i}}lia Figueiredo},
title = {Encryption as an abstract data type},
booktitle = {10th Workshop on Logic, Language, Information and Computation, WoLLIC
2003, Ouro Preto, Minas Gerais, Brazil, July 29 - August 1, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {84},
pages = {18--29},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80841-7},
doi = {10.1016/S1571-0661(04)80841-7},
timestamp = {Mon, 05 Dec 2022 16:22:59 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Miller03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/McDowellM02,
author = {Raymond McDowell and
Dale Miller},
title = {Reasoning with higher-order abstract syntax in a logical framework},
journal = {{ACM} Trans. Comput. Log.},
volume = {3},
number = {1},
pages = {80--136},
year = {2002},
url = {https://doi.org/10.1145/504077.504080},
doi = {10.1145/504077.504080},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/McDowellM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Miller02,
author = {Dale Miller},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {Higher-Order Quantification and Proof Search},
booktitle = {Algebraic Methodology and Software Technology, 9th International Conference,
{AMAST} 2002, Saint-Gilles-les-Bains, Reunion Island, France, September
9-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2422},
pages = {60--74},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45719-4\_5},
doi = {10.1007/3-540-45719-4\_5},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/Miller02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/MillerT02,
author = {Dale Miller and
Alwen Fernanto Tiu},
editor = {Manindra Agrawal and
Anil Seth},
title = {Encoding Generic Judgments},
booktitle = {{FST} {TCS} 2002: Foundations of Software Technology and Theoretical
Computer Science, 22nd Conference Kanpur, India, December 12-14, 2002,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2556},
pages = {18--32},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36206-1\_3},
doi = {10.1007/3-540-36206-1\_3},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/MillerT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/MillerP02,
author = {Dale Miller and
Elaine Pimentel},
editor = {Uwe Egly and
Christian G. Ferm{\"{u}}ller},
title = {Using Linear Logic to Reason about Sequent Systems},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} 2002, Copenhagen, Denmark, July 30 - August
1, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2381},
pages = {2--23},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45616-3\_2},
doi = {10.1007/3-540-45616-3\_2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/MillerP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/Miller01,
author = {Dale Miller},
editor = {Simon Ambler and
Roy L. Crole and
Alberto Momigliano},
title = {Encoding Generic Judgments: Preliminary results},
booktitle = {Mechanized Reasoning about Languages with Variable Binding, {MERLIN}
2001, in connection with {IJCAR} 2001, Siena, Italy, June 18, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {58},
number = {1},
pages = {59--78},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00279-8},
doi = {10.1016/S1571-0661(04)00279-8},
timestamp = {Thu, 01 Dec 2022 15:28:01 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Miller01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/McDowellM00,
author = {Raymond McDowell and
Dale Miller},
title = {Cut-elimination for a logic with definitions and induction},
journal = {Theor. Comput. Sci.},
volume = {232},
number = {1-2},
pages = {91--119},
year = {2000},
url = {https://doi.org/10.1016/S0304-3975(99)00171-1},
doi = {10.1016/S0304-3975(99)00171-1},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/McDowellM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cl/Miller00,
author = {Dale Miller},
editor = {John W. Lloyd and
Ver{\'{o}}nica Dahl and
Ulrich Furbach and
Manfred Kerber and
Kung{-}Kiu Lau and
Catuscia Palamidessi and
Lu{\'{\i}}s Moniz Pereira and
Yehoshua Sagiv and
Peter J. Stuckey},
title = {Abstract Syntax for Variable Binders: An Overview},
booktitle = {Computational Logic - {CL} 2000, First International Conference, London,
UK, 24-28 July, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1861},
pages = {239--253},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44957-4\_16},
doi = {10.1007/3-540-44957-4\_16},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cl/Miller00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0003062,
author = {Raymond McDowell and
Dale Miller},
title = {Reasoning with Higher-Order Abstract Syntax in a Logical Framework},
journal = {CoRR},
volume = {cs.LO/0003062},
year = {2000},
url = {https://arxiv.org/abs/cs/0003062},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0003062.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/MillerP99,
author = {Dale Miller and
Catuscia Palamidessi},
title = {Foundational Aspects of Syntax},
journal = {{ACM} Comput. Surv.},
volume = {31},
number = {3es},
pages = {11},
year = {1999},
url = {https://doi.org/10.1145/333580.333590},
doi = {10.1145/333580.333590},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csur/MillerP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/McDowellM97,
author = {Raymond McDowell and
Dale Miller},
title = {A Logic for Reasoning with Higher-Order Abstract Syntax},
booktitle = {Proceedings, 12th Annual {IEEE} Symposium on Logic in Computer Science,
Warsaw, Poland, June 29 - July 2, 1997},
pages = {434--445},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/LICS.1997.614968},
doi = {10.1109/LICS.1997.614968},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/McDowellM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Miller96,
author = {Dale Miller},
title = {Logical Foundations for Open System Design},
journal = {{ACM} Comput. Surv.},
volume = {28},
number = {4es},
pages = {48},
year = {1996},
url = {https://doi.org/10.1145/242224.242285},
doi = {10.1145/242224.242285},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/Miller96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Miller96,
author = {Dale Miller},
title = {Forum: {A} Multiple-Conclusion Specification Logic},
journal = {Theor. Comput. Sci.},
volume = {165},
number = {1},
pages = {201--232},
year = {1996},
url = {https://doi.org/10.1016/0304-3975(96)00045-X},
doi = {10.1016/0304-3975(96)00045-X},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/Miller96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lacl/Miller96,
author = {Dale Miller},
editor = {Christian Retor{\'{e}}},
title = {Linear Logic as Logic Programming: An Abstract},
booktitle = {Logical Aspects of Computational Linguistics, First International
Conference, {LACL} '96, Nancy, France, September 23-25, 1996, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1328},
pages = {63--67},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0052151},
doi = {10.1007/BFB0052151},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lacl/Miller96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/McDowellMP96,
author = {Raymond McDowell and
Dale Miller and
Catuscia Palamidessi},
editor = {Jean{-}Yves Girard and
Mitsuhiro Okada and
Andre Scedrov},
title = {Encoding Transition Systems in Sequent Calculus},
booktitle = {Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo,
Japan, March 29 - April 2, 1996},
series = {Electronic Notes in Theoretical Computer Science},
volume = {3},
pages = {138--152},
publisher = {Elsevier},
year = {1996},
url = {https://doi.org/10.1016/S1571-0661(05)80412-8},
doi = {10.1016/S1571-0661(05)80412-8},
timestamp = {Fri, 11 Nov 2022 13:19:20 +0100},
biburl = {https://dblp.org/rec/journals/entcs/McDowellMP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/Miller95,
author = {Dale Miller},
editor = {Mar{\'{\i}}a Alpuente and
Maria I. Sessa},
title = {Observations about Using Logic as a Specification Language},
booktitle = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
di Vietri, Italy, September 11-14, 1995},
pages = {61--70},
year = {1995},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/Miller95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/95/NeuwirthCKME095,
author = {Christine M. Neuwirth and
Ravinder Chandhok and
David Kaufer and
James H. Morris and
Paul Erion and
Dale Miller},
title = {Annotations are not "for free": The Need for Runtime Layer
Support in Hypertext Engines},
booktitle = {Designing User Interfaces for Hypermedia},
pages = {156--166},
year = {1995},
url = {https://doi.org/10.1007/978-3-642-45743-2\_16},
doi = {10.1007/978-3-642-45743-2\_16},
timestamp = {Fri, 22 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/95/NeuwirthCKME095.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/HodasM94,
author = {Joshua S. Hodas and
Dale Miller},
title = {Logic Programming in a Fragment of Intuitionistic Linear Logic},
journal = {Inf. Comput.},
volume = {110},
number = {2},
pages = {327--365},
year = {1994},
url = {https://doi.org/10.1006/inco.1994.1036},
doi = {10.1006/INCO.1994.1036},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/HodasM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Miller94,
author = {Dale Miller},
editor = {Giorgio Levi and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Specifications Using Multiple-Conclusion Logic Programs},
booktitle = {Algebraic and Logic Programming, 4th International Conference, ALP'94,
Madid, Spain, September 14-16, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {850},
pages = {3--4},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58431-5\_2},
doi = {10.1007/3-540-58431-5\_2},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/alp/Miller94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Miller94,
author = {Dale Miller},
title = {A Multiple-Conclusion Meta-Logic},
booktitle = {Proceedings of the Ninth Annual Symposium on Logic in Computer Science
{(LICS} '94), Paris, France, July 4-7, 1994},
pages = {272--281},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/LICS.1994.316062},
doi = {10.1109/LICS.1994.316062},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Miller94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/Miller94,
author = {Dale Miller},
editor = {Manuel V. Hermenegildo and
Jaan Penjam},
title = {Specifications Using Multiple-Conclusion Logic Programs},
booktitle = {Programming Language Implementation and Logic Programming, 6th International
Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {844},
pages = {3--4},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58402-1\_2},
doi = {10.1007/3-540-58402-1\_2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/Miller94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/Miller93,
author = {Dale Miller},
editor = {Roy Dyckhoff},
title = {A Proposal for Modules in Lambda-Prolog},
booktitle = {Extensions of Logic Programming, 4th International Workshop, ELP'93,
St. Andrews, UK, March 29 - April 1, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {798},
pages = {206--221},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58025-5\_58},
doi = {10.1007/3-540-58025-5\_58},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/elp/Miller93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/slp/1993,
editor = {Dale Miller},
title = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
publisher = {{MIT} Press},
year = {1993},
isbn = {0-262-63152-0},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/1993.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Miller92,
author = {Dale Miller},
title = {Unification Under a Mixed Prefix},
journal = {J. Symb. Comput.},
volume = {14},
number = {4},
pages = {321--358},
year = {1992},
url = {https://doi.org/10.1016/0747-7171(92)90011-R},
doi = {10.1016/0747-7171(92)90011-R},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/Miller92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/HannanM92,
author = {John Hannan and
Dale Miller},
title = {From Operational Semantics for Abstract Machines},
journal = {Math. Struct. Comput. Sci.},
volume = {2},
number = {4},
pages = {415--459},
year = {1992},
url = {https://doi.org/10.1017/S0960129500001559},
doi = {10.1017/S0960129500001559},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/HannanM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cscw/NeuwirthCKEMM92,
author = {Christine Neuwirth and
Ravinder Chandhok and
David Kaufer and
Paul Erion and
James H. Morris and
Dale Miller},
editor = {Marilyn M. Mantei and
Ronald Baecker},
title = {Flexible Diff-ing in a Collaborative Writing System},
booktitle = {{CSCW} '92, Proceedings of the Conference on Computer Supported Cooperative
Work, Toronto, Canada, October 31 - November 4, 1992},
pages = {147--154},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/143457.143473},
doi = {10.1145/143457.143473},
timestamp = {Fri, 22 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cscw/NeuwirthCKEMM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/Miller92,
author = {Dale Miller},
editor = {Evelina Lamma and
Paola Mello},
title = {The pi-Calculus as a Theory in Linear Logic: Preliminary Results},
booktitle = {Extensions of Logic Programming, Third International Workshop, ELP'92,
Bologna, Italy, February 26-28, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {660},
pages = {242--264},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56454-3\_13},
doi = {10.1007/3-540-56454-3\_13},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/elp/Miller92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/MillerNPS91,
author = {Dale Miller and
Gopalan Nadathur and
Frank Pfenning and
Andre Scedrov},
title = {Uniform Proofs as a Foundation for Logic Programming},
journal = {Ann. Pure Appl. Log.},
volume = {51},
number = {1-2},
pages = {125--157},
year = {1991},
url = {https://doi.org/10.1016/0168-0072(91)90068-W},
doi = {10.1016/0168-0072(91)90068-W},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/MillerNPS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Miller91,
author = {Dale Miller},
title = {A Logic Programming Language with Lambda-Abstraction, Function Variables,
and Simple Unification},
journal = {J. Log. Comput.},
volume = {1},
number = {4},
pages = {497--536},
year = {1991},
url = {https://doi.org/10.1093/logcom/1.4.497},
doi = {10.1093/LOGCOM/1.4.497},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Miller91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Miller91,
author = {Dale Miller},
editor = {Koichi Furukawa},
title = {Unification of Simply Typed Lamda-Terms as Logic Programming},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {255--269},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Miller91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Miller91a,
author = {Dale Miller},
editor = {Koichi Furukawa},
title = {Logics for Logic Programming: {A} Tutorial},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {911},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Miller91a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/HodasM91,
author = {Joshua S. Hodas and
Dale Miller},
title = {Logic Programming in a Fragment of Intuitionistic Linear Logic},
booktitle = {Proceedings of the Sixth Annual Symposium on Logic in Computer Science
{(LICS} '91), Amsterdam, The Netherlands, July 15-18, 1991},
pages = {32--42},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/LICS.1991.151628},
doi = {10.1109/LICS.1991.151628},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/HodasM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Miller91,
author = {Dale Miller},
editor = {Andrei Voronkov},
title = {Abstract Syntax and Logic Programming},
booktitle = {Logic Programming, First Russian Conference on Logic Programming,
Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference
on Logic Programming, St. Petersburg, Russia, September 11-16, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {592},
pages = {322--337},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55460-2\_24},
doi = {10.1007/3-540-55460-2\_24},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Miller91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/NadathurM90,
author = {Gopalan Nadathur and
Dale Miller},
title = {Higher-Order Horn Clauses},
journal = {J. {ACM}},
volume = {37},
number = {4},
pages = {777--814},
year = {1990},
url = {https://doi.org/10.1145/96559.96570},
doi = {10.1145/96559.96570},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacm/NadathurM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/FeltyM90,
author = {Amy P. Felty and
Dale Miller},
editor = {Mark E. Stickel},
title = {Encoding a Dependent-Type Lambda-Calculus in a Logic Programming Language},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {221--235},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_90},
doi = {10.1007/3-540-52885-7\_90},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/FeltyM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/FeltyGMP90,
author = {Amy P. Felty and
Elsa L. Gunter and
Dale Miller and
Frank Pfenning},
editor = {Mark E. Stickel},
title = {Tutorial on Lambda-Prolog},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {682},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_142},
doi = {10.1007/3-540-52885-7\_142},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/FeltyGMP90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/PareschiM90,
author = {Remo Pareschi and
Dale Miller},
editor = {David H. D. Warren and
P{\'{e}}ter Szeredi},
title = {Extending Definite Clause Grammars with Scoping Constructs},
booktitle = {Logic Programming, Proceedings of the Seventh International Conference,
Jerusalem, Israel, June 18-20, 1990},
pages = {373--389},
publisher = {{MIT} Press},
year = {1990},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/PareschiM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/HodasM90,
author = {Joshua S. Hodas and
Dale Miller},
editor = {David H. D. Warren and
P{\'{e}}ter Szeredi},
title = {Representing Objects in a Logic Programming Langueage with Scoping
Constructs},
booktitle = {Logic Programming, Proceedings of the Seventh International Conference,
Jerusalem, Israel, June 18-20, 1990},
pages = {511--526},
publisher = {{MIT} Press},
year = {1990},
timestamp = {Mon, 13 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/HodasM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Miller90,
author = {Dale Miller},
editor = {David H. D. Warren and
P{\'{e}}ter Szeredi},
title = {Higher-Order Logic Programming},
booktitle = {Logic Programming, Proceedings of the Seventh International Conference,
Jerusalem, Israel, June 18-20, 1990},
pages = {784},
publisher = {{MIT} Press},
year = {1990},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Miller90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/HannanM90,
author = {John Hannan and
Dale Miller},
editor = {Gilles Kahn},
title = {From Operational Semantics to Abstract Machines: Preliminary Results},
booktitle = {Proceedings of the 1990 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1990, Nice, France, 27-29 June 1990},
pages = {323--332},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/91556.91680},
doi = {10.1145/91556.91680},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/HannanM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Miller89,
author = {Dale Miller},
title = {A Logical Analysis of Modules in Logic Programming},
journal = {J. Log. Program.},
volume = {6},
number = {1{\&}2},
pages = {79--108},
year = {1989},
url = {https://doi.org/10.1016/0743-1066(89)90031-9},
doi = {10.1016/0743-1066(89)90031-9},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/Miller89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/Miller89,
author = {Dale Miller},
editor = {Peter Schroeder{-}Heister},
title = {A Logic Programming Language with Lambda-Abstraction, Function Variables,
and Simple Unification},
booktitle = {Extensions of Logic Programming, International Workshop, T{\"{u}}bingen,
FRG, December 8-10, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {475},
pages = {253--281},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/BFb0038698},
doi = {10.1007/BFB0038698},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/elp/Miller89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Miller89,
author = {Dale Miller},
editor = {Giorgio Levi and
Maurizio Martelli},
title = {Lexical Scoping as Universal Quantification},
booktitle = {Logic Programming, Proceedings of the Sixth International Conference,
Lisbon, Portugal, June 19-23, 1989},
pages = {268--283},
publisher = {{MIT} Press},
year = {1989},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Miller89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/HannanM89,
author = {John Hannan and
Dale Miller},
editor = {Jan L. A. van de Snepscheut},
title = {Deriving Mixed Evaluation from Standard Evaluation for a Simple Functional
Language},
booktitle = {Mathematics of Program Construction, 375th Anniversary of the Groningen
University, International Conference, Groningen, The Netherlands,
June 26-30, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {375},
pages = {239--255},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51305-1\_13},
doi = {10.1007/3-540-51305-1\_13},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/HannanM89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/FeltyM88,
author = {Amy P. Felty and
Dale Miller},
editor = {Ewing L. Lusk and
Ross A. Overbeek},
title = {Specifying Theorem Provers in a Higher-Order Logic Programming Language},
booktitle = {9th International Conference on Automated Deduction, Argonne, Illinois,
USA, May 23-26, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {310},
pages = {61--80},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0012823},
doi = {10.1007/BFB0012823},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/FeltyM88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/FeltyGHMNS88,
author = {Amy P. Felty and
Elsa L. Gunter and
John Hannan and
Dale Miller and
Gopalan Nadathur and
Andre Scedrov},
editor = {Ewing L. Lusk and
Ross A. Overbeek},
title = {Lambda-Prolog: An Extended Logic Programming Language},
booktitle = {9th International Conference on Automated Deduction, Argonne, Illinois,
USA, May 23-26, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {310},
pages = {754--755},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0012882},
doi = {10.1007/BFB0012882},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/FeltyGHMNS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/NadathurM88,
author = {Gopalan Nadathur and
Dale Miller},
editor = {Robert A. Kowalski and
Kenneth A. Bowen},
title = {An Overview of Lambda-PROLOG},
booktitle = {Logic Programming, Proceedings of the Fifth International Conference
and Symposium, Seattle, Washington, USA, August 15-19, 1988 {(2} Volumes)},
pages = {810--827},
publisher = {{MIT} Press},
year = {1988},
timestamp = {Sat, 23 Jun 2018 18:45:26 +0200},
biburl = {https://dblp.org/rec/conf/iclp/NadathurM88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/HannanM88,
author = {John Hannan and
Dale Miller},
editor = {Robert A. Kowalski and
Kenneth A. Bowen},
title = {Uses of Higher-Order Unification for Implementing Program Transformers},
booktitle = {Logic Programming, Proceedings of the Fifth International Conference
and Symposium, Seattle, Washington, USA, August 15-19, 1988 {(2} Volumes)},
pages = {942--959},
publisher = {{MIT} Press},
year = {1988},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/HannanM88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/HannanM88,
author = {John Hannan and
Dale Miller},
editor = {Harvey Abramson and
M. H. Rogers},
title = {A Meta-Logic for Functional Programming},
booktitle = {Meta-Programming in Logic Programming, Workshop on Meta-Programming
in Logic, {META} 1988, University of Bristol, 22-24 June, 1988},
pages = {453--476},
publisher = {{MIT} Press},
year = {1988},
timestamp = {Tue, 30 Jul 2019 17:09:12 +0200},
biburl = {https://dblp.org/rec/conf/meta/HannanM88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Miller87,
author = {Dale A. Miller},
title = {A compact representation of proofs},
journal = {Stud Logica},
volume = {46},
number = {4},
pages = {347--370},
year = {1987},
url = {https://doi.org/10.1007/BF00370646},
doi = {10.1007/BF00370646},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Miller87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/MillerNS87,
author = {Dale Miller and
Gopalan Nadathur and
Andre Scedrov},
title = {Hereditary Harrop Formulas and Uniform Proof Systems},
booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
'87), Ithaca, New York, USA, June 22-25, 1987},
pages = {98--105},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/MillerNS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/MillerN87,
author = {Dale Miller and
Gopalan Nadathur},
title = {A Logic Programming Approach to Manipulating Formulas and Programs},
booktitle = {Proceedings of the 1987 Symposium on Logic Programming, San Francisco,
California, USA, August 31 - September 4, 1987},
pages = {379--388},
publisher = {{IEEE-CS}},
year = {1987},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/MillerN87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/MillerF86,
author = {Dale Miller and
Amy P. Felty},
editor = {Tom Kehler},
title = {An Integration of Resolution and Natural Deduction Theorem Proving},
booktitle = {Proceedings of the 5th National Conference on Artificial Intelligence.
Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
pages = {198--202},
publisher = {Morgan Kaufmann},
year = {1986},
url = {http://www.aaai.org/Library/AAAI/1986/aaai86-032.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/MillerF86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acl/MillerN86,
author = {Dale Miller and
Gopalan Nadathur},
editor = {Alan W. Biermann},
title = {Some Uses of Higher-Order Logic in Computational Linguistics},
booktitle = {24th Annual Meeting of the Association for Computational Linguistics,
Columbia University, New York, New York, USA, July 10-13, 1986},
pages = {247--256},
publisher = {{ACL}},
year = {1986},
url = {https://aclanthology.org/P86-1037/},
doi = {10.3115/981131.981165},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acl/MillerN86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hlt/JoshiFMSW86,
author = {Aravind K. Joshi and
Timothy W. Finin and
Dale Miller and
Lokendra Shastri and
Bonnie L. Webber},
title = {Research in Natural Language Processing},
booktitle = {Strategic Computing - Natural Language Workshop: Proceedings of a
Workshop Held at Marina del Rey, California, USA, May 1-2, 1986},
publisher = {{ARPA}},
year = {1986},
url = {https://aclanthology.org/H86-1005/},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hlt/JoshiFMSW86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MillerN86,
author = {Dale Miller and
Gopalan Nadathur},
editor = {Ehud Shapiro},
title = {Higher-Order Logic Programming},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {448--462},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_94},
doi = {10.1007/3-540-16492-8\_94},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/MillerN86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Miller86,
author = {Dale Miller},
title = {A Theory of Modules for Logic Programming},
booktitle = {Proceedings of the 1986 Symposium on Logic Programming, Salt Lake
City, Utah, USA, September 22-25, 1986},
pages = {106--114},
publisher = {{IEEE-CS}},
year = {1986},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/Miller86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Miller84,
author = {Dale Miller},
editor = {Robert E. Shostak},
title = {Expansion Tree Proofs and Their Conversion to Natural Deduction Proofs},
booktitle = {7th International Conference on Automated Deduction, Napa, California,
USA, May 14-16, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {170},
pages = {375--393},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/978-0-387-34768-4\_22},
doi = {10.1007/978-0-387-34768-4\_22},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Miller84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/MillerCA82,
author = {Dale A. Miller and
Eve Longini Cohen and
Peter B. Andrews},
editor = {Donald W. Loveland},
title = {A Look at {TPS}},
booktitle = {6th Conference on Automated Deduction, New York, USA, June 7-9, 1982,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {138},
pages = {50--69},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/BFb0000051},
doi = {10.1007/BFB0000051},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/MillerCA82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-01-18 20:09 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
