default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/tphol/tphol2000.bht:"
download as .bib file
@inproceedings{DBLP:conf/tphol/BalaaB00,
author = {Antonia Balaa and
Yves Bertot},
editor = {Mark D. Aagaard and
John Harrison},
title = {Fix-Point Equations for Well-Founded Recursion in Type Theory},
booktitle = {Theorem Proving in Higher Order Logics, 13th International Conference,
TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1869},
pages = {1--16},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44659-1\_1},
doi = {10.1007/3-540-44659-1\_1},
timestamp = {Tue, 15 Aug 2023 09:02:05 +0200},
biburl = {https://dblp.org/rec/conf/tphol/BalaaB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Barras00,
author = {Bruno Barras},
editor = {Mark D. Aagaard and
John Harrison},
title = {Programming and Computing in {HOL}},
booktitle = {Theorem Proving in Higher Order Logics, 13th International Conference,
TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1869},
pages = {17--37},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44659-1\_2},
doi = {10.1007/3-540-44659-1\_2},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Barras00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/BerghoferN00,
author = {Stefan Berghofer and
Tobias Nipkow},
editor = {Mark D. Aagaard and
John Harrison},
title = {Proof Terms for Simply Typed Higher Order Logic},
booktitle = {Theorem Proving in Higher Order Logics, 13th International Conference,
TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1869},
pages = {38--52},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44659-1\_3},
doi = {10.1007/3-540-44659-1\_3},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/BerghoferN00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/BhargavanGO00,
author = {Karthikeyan Bhargavan and
Carl A. Gunter and
Davor Obradovic},
editor = {Mark D. Aagaard and
John Harrison},
title = {Routing Information Protocol in {HOL/SPIN}},
booktitle = {Theorem Proving in Higher Order Logics, 13th International Conference,
TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1869},
pages = {53--72},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44659-1\_4},
doi = {10.1007/3-540-44659-1\_4},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/BhargavanGO00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Capretta00,
author = {Venanzio Capretta},
editor = {Mark D. Aagaard and
John Harrison},
title = {Recursive Families of Inductive Types},
booktitle = {Theorem Proving in Higher Order Logics, 13th International Conference,
TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1869},
pages = {73--89},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44659-1\_5},
doi = {10.1007/3-540-44659-1\_5},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Capretta00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/CarrenoM00,
author = {Victor Carre{\~{n}}o and
C{\'{e}}sar A. Mu{\~{n}}oz},
editor = {Mark D. Aagaard and
John Harrison},
title = {Aircraft Trajectory Modeling and Altering Algorithm Verification},
booktitle = {Theorem Proving in Higher Order Logics, 13th International Conference,
TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1869},
pages = {90--105},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44659-1\_6},
doi = {10.1007/3-540-44659-1\_6},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/CarrenoM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/ColwellB00,
author = {Robert P. Colwell and
Bob Brennan},
editor = {Mark D. Aagaard and
John Harrison},
title = {Intel's Formal Verification Experience on the Willamette Development},
booktitle = {Theorem Proving in Higher Order Logics, 13th International Conference,
TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1869},
pages = {106--107},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44659-1\_7},
doi = {10.1007/3-540-44659-1\_7},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/ColwellB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Denney00,
author = {Ewen Denney},
editor = {Mark D. Aagaard and
John Harrison},
title = {A Prototype Proof Translator from {HOL} to Coq},
booktitle = {Theorem Proving in Higher Order Logics, 13th International Conference,
TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1869},
pages = {108--125},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44659-1\_8},
doi = {10.1007/3-540-44659-1\_8},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Denney00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Dubois00,
author = {Catherine Dubois},
editor = {Mark D. Aagaard and
John Harrison},
title = {Proving {ML} Type Soundness Within Coq},
booktitle = {Theorem Proving in Higher Order Logics, 13th International Conference,
TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1869},
pages = {126--144},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44659-1\_9},
doi = {10.1007/3-540-44659-1\_9},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Dubois00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Fleuriot00,
author = {Jacques D. Fleuriot},
editor = {Mark D. Aagaard and
John Harrison},
title = {On the Mechanization of Real Analysis in Isabelle/HOL},
booktitle = {Theorem Proving in Higher Order Logics, 13th International Conference,
TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1869},
pages = {145--161},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44659-1\_10},
doi = {10.1007/3-540-44659-1\_10},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tphol/Fleuriot00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/GeuversWZ00,
author = {Herman Geuvers and
Freek Wiedijk and
Jan Zwanenburg},
editor = {Mark D. Aagaard and
John Harrison},
title = {Equational Reasoning via Partial Reflection},
booktitle = {Theorem Proving in Higher Order Logics, 13th International Conference,
TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1869},
pages = {162--178},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44659-1\_11},
doi = {10.1007/3-540-44659-1\_11},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/GeuversWZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Gordon00,
author = {Michael J. C. Gordon},
editor = {Mark D. Aagaard and
John Harrison},
title = {Reachability Programming in {HOL98} Using BDDs},
booktitle = {Theorem Proving in Higher Order Logics, 13th International Conference,
TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1869},
pages = {179--196},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44659-1\_12},
doi = {10.1007/3-540-44659-1\_12},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Gordon00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Gottliebsen00,
author = {Hanne Gottliebsen},
editor = {Mark D. Aagaard and
John Harrison},
title = {Transcendental Functions and Continuity Checking in {PVS}},
booktitle = {Theorem Proving in Higher Order Logics, 13th International Conference,
TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1869},
pages = {197--214},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44659-1\_13},
doi = {10.1007/3-540-44659-1\_13},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Gottliebsen00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Grundy00,
author = {Jim Grundy},
editor = {Mark D. Aagaard and
John Harrison},
title = {Verified Optimizations for the Intel {IA-64} Architecture},
booktitle = {Theorem Proving in Higher Order Logics, 13th International Conference,
TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1869},
pages = {215--232},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44659-1\_14},
doi = {10.1007/3-540-44659-1\_14},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Grundy00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Harrison00,
author = {John Harrison},
editor = {Mark D. Aagaard and
John Harrison},
title = {Formal Verification of {IA-64} Division Algorithms},
booktitle = {Theorem Proving in Higher Order Logics, 13th International Conference,
TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1869},
pages = {233--251},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44659-1\_15},
doi = {10.1007/3-540-44659-1\_15},
timestamp = {Thu, 05 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Harrison00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/HickeyN00,
author = {Jason Hickey and
Aleksey Nogin},
editor = {Mark D. Aagaard and
John Harrison},
title = {Fast Tactic-Based Theorem Proving},
booktitle = {Theorem Proving in Higher Order Logics, 13th International Conference,
TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1869},
pages = {252--267},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44659-1\_16},
doi = {10.1007/3-540-44659-1\_16},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/HickeyN00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/HofmannT00,
author = {Martin Hofmann and
Francis Tang},
editor = {Mark D. Aagaard and
John Harrison},
title = {Implementing a Program Logic of Objects in a Higher-Order Logic Theorem
Prover},
booktitle = {Theorem Proving in Higher Order Logics, 13th International Conference,
TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1869},
pages = {268--282},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44659-1\_17},
doi = {10.1007/3-540-44659-1\_17},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/HofmannT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Holmes00,
author = {M. Randall Holmes},
editor = {Mark D. Aagaard and
John Harrison},
title = {A Strong and Mechanizable Grand Logic},
booktitle = {Theorem Proving in Higher Order Logics, 13th International Conference,
TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1869},
pages = {283--300},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44659-1\_18},
doi = {10.1007/3-540-44659-1\_18},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Holmes00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/HuismanJ00,
author = {Marieke Huisman and
Bart Jacobs},
editor = {Mark D. Aagaard and
John Harrison},
title = {Inheritance in Higher Order Logic: Modeling and Reasoning},
booktitle = {Theorem Proving in Higher Order Logics, 13th International Conference,
TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1869},
pages = {301--319},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44659-1\_19},
doi = {10.1007/3-540-44659-1\_19},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/HuismanJ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Jackson00,
author = {Paul B. Jackson},
editor = {Mark D. Aagaard and
John Harrison},
title = {Total-Correctness Refinement for Sequential Reactive Systems},
booktitle = {Theorem Proving in Higher Order Logics, 13th International Conference,
TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1869},
pages = {320--337},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44659-1\_20},
doi = {10.1007/3-540-44659-1\_20},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Jackson00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/KaivolaA00,
author = {Roope Kaivola and
Mark D. Aagaard},
editor = {Mark D. Aagaard and
John Harrison},
title = {Divider Circuit Verification with Model Checking and Theorem Proving},
booktitle = {Theorem Proving in Higher Order Logics, 13th International Conference,
TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1869},
pages = {338--355},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44659-1\_21},
doi = {10.1007/3-540-44659-1\_21},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tphol/KaivolaA00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/KerboeufNT00,
author = {Micka{\"{e}}l Kerboeuf and
David Nowak and
Jean{-}Pierre Talpin},
editor = {Mark D. Aagaard and
John Harrison},
title = {Specification and Verification of a Steam-Boiler with {S}ignal-{C}oq.},
booktitle = {Theorem Proving in Higher Order Logics, 13th International Conference,
TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1869},
pages = {356--371},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44659-1\_22},
doi = {10.1007/3-540-44659-1\_22},
timestamp = {Wed, 07 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tphol/KerboeufNT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/LaibinisW00,
author = {Linas Laibinis and
Joakim von Wright},
editor = {Mark D. Aagaard and
John Harrison},
title = {Functional Procedures in Higher-Order Logic},
booktitle = {Theorem Proving in Higher Order Logics, 13th International Conference,
TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1869},
pages = {372--387},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44659-1\_23},
doi = {10.1007/3-540-44659-1\_23},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/LaibinisW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/LetouzeyT00,
author = {Pierre Letouzey and
Laurent Th{\'{e}}ry},
editor = {Mark D. Aagaard and
John Harrison},
title = {Formalizing St{\aa}lmarck's Algorithm in Coq},
booktitle = {Theorem Proving in Higher Order Logics, 13th International Conference,
TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1869},
pages = {388--405},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44659-1\_24},
doi = {10.1007/3-540-44659-1\_24},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/LetouzeyT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/LuthW00,
author = {Christoph L{\"{u}}th and
Burkhart Wolff},
editor = {Mark D. Aagaard and
John Harrison},
title = {{TAS} - {A} Generic Window Inference System},
booktitle = {Theorem Proving in Higher Order Logics, 13th International Conference,
TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1869},
pages = {406--423},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44659-1\_25},
doi = {10.1007/3-540-44659-1\_25},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/LuthW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Merz00,
author = {Stephan Merz},
editor = {Mark D. Aagaard and
John Harrison},
title = {Weak Alternating Automata in Isabelle/HOL},
booktitle = {Theorem Proving in Higher Order Logics, 13th International Conference,
TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1869},
pages = {424--441},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44659-1\_26},
doi = {10.1007/3-540-44659-1\_26},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Merz00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Milner00,
author = {Robin Milner},
editor = {Mark D. Aagaard and
John Harrison},
title = {Graphical Theories of Interactive Systems: Can a Proof Assistant Help?},
booktitle = {Theorem Proving in Higher Order Logics, 13th International Conference,
TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1869},
pages = {442},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44659-1\_27},
doi = {10.1007/3-540-44659-1\_27},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Milner00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/MokkedemL00,
author = {Abdel Mokkedem and
Tim Leonard},
editor = {Mark D. Aagaard and
John Harrison},
title = {Formal Verification of the Alpha 21364 Network Protocol},
booktitle = {Theorem Proving in Higher Order Logics, 13th International Conference,
TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1869},
pages = {443--461},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44659-1\_28},
doi = {10.1007/3-540-44659-1\_28},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/MokkedemL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Pollack00,
author = {Robert Pollack},
editor = {Mark D. Aagaard and
John Harrison},
title = {Dependently Typed Records for Representing Mathematical Structure},
booktitle = {Theorem Proving in Higher Order Logics, 13th International Conference,
TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1869},
pages = {462--479},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44659-1\_29},
doi = {10.1007/3-540-44659-1\_29},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Pollack00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/ReusH00,
author = {Bernhard Reus and
Tatjana Hein},
editor = {Mark D. Aagaard and
John Harrison},
title = {Towards a Machine-Checked Java Specification Book},
booktitle = {Theorem Proving in Higher Order Logics, 13th International Conference,
TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1869},
pages = {480--497},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44659-1\_30},
doi = {10.1007/3-540-44659-1\_30},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/ReusH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Slind00,
author = {Konrad Slind},
editor = {Mark D. Aagaard and
John Harrison},
title = {Another Look at Nested Recursion},
booktitle = {Theorem Proving in Higher Order Logics, 13th International Conference,
TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1869},
pages = {498--518},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44659-1\_31},
doi = {10.1007/3-540-44659-1\_31},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Slind00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Wos00,
author = {Larry Wos},
editor = {Mark D. Aagaard and
John Harrison},
title = {Appendix: Conjectures Concerning Proof, Design, and Verification},
booktitle = {Theorem Proving in Higher Order Logics, 13th International Conference,
TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1869},
pages = {526--533},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44659-1\_33},
doi = {10.1007/3-540-44659-1\_33},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Wos00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/WosF00,
author = {Larry Wos and
Branden Fitelson},
editor = {Mark D. Aagaard and
John Harrison},
title = {Automating the Search for Answers to Open Questions},
booktitle = {Theorem Proving in Higher Order Logics, 13th International Conference,
TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1869},
pages = {519--525},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44659-1\_32},
doi = {10.1007/3-540-44659-1\_32},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/WosF00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tphol/2000,
editor = {Mark D. Aagaard and
John Harrison},
title = {Theorem Proving in Higher Order Logics, 13th International Conference,
TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1869},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44659-1},
doi = {10.1007/3-540-44659-1},
isbn = {3-540-67863-8},
timestamp = {Tue, 15 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/2000.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.
retrieved on 2025-01-19 16:23 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
