Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX 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} }
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.