Search dblp for Publications

export results for "toc:db/conf/tphol/tphol2004.bht:"

 download as .bib file

@inproceedings{DBLP:conf/tphol/AkbarpourT04,
  author       = {Behzad Akbarpour and
                  Sofi{\`{e}}ne Tahar},
  editor       = {Konrad Slind and
                  Annette Bunker and
                  Ganesh Gopalakrishnan},
  title        = {Error Analysis of Digital Filters Using Theorem Proving},
  booktitle    = {Theorem Proving in Higher Order Logics, 17th International Conference,
                  TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3223},
  pages        = {1--17},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30142-4\_1},
  doi          = {10.1007/978-3-540-30142-4\_1},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/tphol/AkbarpourT04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tphol/AndersonP04,
  author       = {Penny Anderson and
                  Frank Pfenning},
  editor       = {Konrad Slind and
                  Annette Bunker and
                  Ganesh Gopalakrishnan},
  title        = {Verifying Uniqueness in a Logical Framework},
  booktitle    = {Theorem Proving in Higher Order Logics, 17th International Conference,
                  TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3223},
  pages        = {18--33},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30142-4\_2},
  doi          = {10.1007/978-3-540-30142-4\_2},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tphol/AndersonP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tphol/AspinallBHLM04,
  author       = {David Aspinall and
                  Lennart Beringer and
                  Martin Hofmann and
                  Hans{-}Wolfgang Loidl and
                  Alberto Momigliano},
  editor       = {Konrad Slind and
                  Annette Bunker and
                  Ganesh Gopalakrishnan},
  title        = {A Program Logic for Resource Verification},
  booktitle    = {Theorem Proving in Higher Order Logics, 17th International Conference,
                  TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3223},
  pages        = {34--49},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30142-4\_3},
  doi          = {10.1007/978-3-540-30142-4\_3},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tphol/AspinallBHLM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tphol/Boite04,
  author       = {Olivier Boite},
  editor       = {Konrad Slind and
                  Annette Bunker and
                  Ganesh Gopalakrishnan},
  title        = {Proof Reuse with Extended Inductive Types},
  booktitle    = {Theorem Proving in Higher Order Logics, 17th International Conference,
                  TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3223},
  pages        = {50--65},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30142-4\_4},
  doi          = {10.1007/978-3-540-30142-4\_4},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tphol/Boite04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tphol/Cruz-FilipeW04,
  author       = {Lu{\'{\i}}s Cruz{-}Filipe and
                  Freek Wiedijk},
  editor       = {Konrad Slind and
                  Annette Bunker and
                  Ganesh Gopalakrishnan},
  title        = {Hierarchical Reflection},
  booktitle    = {Theorem Proving in Higher Order Logics, 17th International Conference,
                  TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3223},
  pages        = {66--81},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30142-4\_5},
  doi          = {10.1007/978-3-540-30142-4\_5},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tphol/Cruz-FilipeW04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tphol/Davis04,
  author       = {Al Davis},
  editor       = {Konrad Slind and
                  Annette Bunker and
                  Ganesh Gopalakrishnan},
  title        = {Correct Embedded Computing Futures},
  booktitle    = {Theorem Proving in Higher Order Logics, 17th International Conference,
                  TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3223},
  pages        = {82},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30142-4\_6},
  doi          = {10.1007/978-3-540-30142-4\_6},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tphol/Davis04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tphol/DixonF04,
  author       = {Lucas Dixon and
                  Jacques D. Fleuriot},
  editor       = {Konrad Slind and
                  Annette Bunker and
                  Ganesh Gopalakrishnan},
  title        = {Higher Order Rippling in IsaPlanner},
  booktitle    = {Theorem Proving in Higher Order Logics, 17th International Conference,
                  TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3223},
  pages        = {83--98},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30142-4\_7},
  doi          = {10.1007/978-3-540-30142-4\_7},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tphol/DixonF04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tphol/GamboaC04,
  author       = {Ruben Gamboa and
                  John R. Cowles},
  editor       = {Konrad Slind and
                  Annette Bunker and
                  Ganesh Gopalakrishnan},
  title        = {A Mechanical Proof of the Cook-Levin Theorem},
  booktitle    = {Theorem Proving in Higher Order Logics, 17th International Conference,
                  TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3223},
  pages        = {99--116},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30142-4\_8},
  doi          = {10.1007/978-3-540-30142-4\_8},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tphol/GamboaC04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tphol/Hales04,
  author       = {Thomas C. Hales},
  editor       = {Konrad Slind and
                  Annette Bunker and
                  Ganesh Gopalakrishnan},
  title        = {Formalizing the Proof of the Kepler Conjecture},
  booktitle    = {Theorem Proving in Higher Order Logics, 17th International Conference,
                  TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3223},
  pages        = {117},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30142-4\_9},
  doi          = {10.1007/978-3-540-30142-4\_9},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tphol/Hales04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tphol/HamidS04,
  author       = {Nadeem Abdul Hamid and
                  Zhong Shao},
  editor       = {Konrad Slind and
                  Annette Bunker and
                  Ganesh Gopalakrishnan},
  title        = {Interfacing Hoare Logic and Type Systems for Foundational Proof-Carrying
                  Code},
  booktitle    = {Theorem Proving in Higher Order Logics, 17th International Conference,
                  TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3223},
  pages        = {118--135},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30142-4\_10},
  doi          = {10.1007/978-3-540-30142-4\_10},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tphol/HamidS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tphol/HickeyN04,
  author       = {Jason Hickey and
                  Aleksey Nogin},
  editor       = {Konrad Slind and
                  Annette Bunker and
                  Ganesh Gopalakrishnan},
  title        = {Extensible Hierarchical Tactic Construction in a Logical Framework},
  booktitle    = {Theorem Proving in Higher Order Logics, 17th International Conference,
                  TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3223},
  pages        = {136--151},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30142-4\_11},
  doi          = {10.1007/978-3-540-30142-4\_11},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tphol/HickeyN04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tphol/JohnsenL04,
  author       = {Einar Broch Johnsen and
                  Christoph L{\"{u}}th},
  editor       = {Konrad Slind and
                  Annette Bunker and
                  Ganesh Gopalakrishnan},
  title        = {Theorem Reuse by Proof Term Transformation},
  booktitle    = {Theorem Proving in Higher Order Logics, 17th International Conference,
                  TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3223},
  pages        = {152--167},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30142-4\_12},
  doi          = {10.1007/978-3-540-30142-4\_12},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tphol/JohnsenL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tphol/JonesBD04,
  author       = {Michael Jones and
                  Aaron Benson and
                  Dan Delorey},
  editor       = {Konrad Slind and
                  Annette Bunker and
                  Ganesh Gopalakrishnan},
  title        = {Proving Compatibility Using Refinement},
  booktitle    = {Theorem Proving in Higher Order Logics, 17th International Conference,
                  TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3223},
  pages        = {168--183},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30142-4\_13},
  doi          = {10.1007/978-3-540-30142-4\_13},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tphol/JonesBD04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tphol/LiuM04,
  author       = {Hanbing Liu and
                  J Strother Moore},
  editor       = {Konrad Slind and
                  Annette Bunker and
                  Ganesh Gopalakrishnan},
  title        = {Java Program Verification via a {JVM} Deep Embedding in {ACL2}},
  booktitle    = {Theorem Proving in Higher Order Logics, 17th International Conference,
                  TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3223},
  pages        = {184--200},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30142-4\_14},
  doi          = {10.1007/978-3-540-30142-4\_14},
  timestamp    = {Wed, 27 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tphol/LiuM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tphol/LongleyP04,
  author       = {John Longley and
                  Randy Pollack},
  editor       = {Konrad Slind and
                  Annette Bunker and
                  Ganesh Gopalakrishnan},
  title        = {Reasoning About {CBV} Functional Programs in Isabelle/HOL},
  booktitle    = {Theorem Proving in Higher Order Logics, 17th International Conference,
                  TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3223},
  pages        = {201--216},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30142-4\_15},
  doi          = {10.1007/978-3-540-30142-4\_15},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tphol/LongleyP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tphol/Monin04,
  author       = {Jean{-}Fran{\c{c}}ois Monin},
  editor       = {Konrad Slind and
                  Annette Bunker and
                  Ganesh Gopalakrishnan},
  title        = {Proof Pearl: From Concrete to Functional Unparsing},
  booktitle    = {Theorem Proving in Higher Order Logics, 17th International Conference,
                  TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3223},
  pages        = {217--224},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30142-4\_16},
  doi          = {10.1007/978-3-540-30142-4\_16},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tphol/Monin04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tphol/Narboux04,
  author       = {Julien Narboux},
  editor       = {Konrad Slind and
                  Annette Bunker and
                  Ganesh Gopalakrishnan},
  title        = {A Decision Procedure for Geometry in Coq},
  booktitle    = {Theorem Proving in Higher Order Logics, 17th International Conference,
                  TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3223},
  pages        = {225--240},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30142-4\_17},
  doi          = {10.1007/978-3-540-30142-4\_17},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tphol/Narboux04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tphol/Norrish04,
  author       = {Michael Norrish},
  editor       = {Konrad Slind and
                  Annette Bunker and
                  Ganesh Gopalakrishnan},
  title        = {Recursive Function Definition for Types with Binders},
  booktitle    = {Theorem Proving in Higher Order Logics, 17th International Conference,
                  TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3223},
  pages        = {241--256},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30142-4\_18},
  doi          = {10.1007/978-3-540-30142-4\_18},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tphol/Norrish04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tphol/PikeMMG04,
  author       = {Lee Pike and
                  Jeffrey Maddalon and
                  Paul S. Miner and
                  Alfons Geser},
  editor       = {Konrad Slind and
                  Annette Bunker and
                  Ganesh Gopalakrishnan},
  title        = {Abstractions for Fault-Tolerant Distributed System Verification},
  booktitle    = {Theorem Proving in Higher Order Logics, 17th International Conference,
                  TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3223},
  pages        = {257--270},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30142-4\_19},
  doi          = {10.1007/978-3-540-30142-4\_19},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tphol/PikeMMG04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tphol/Richter04,
  author       = {Stefan Richter},
  editor       = {Konrad Slind and
                  Annette Bunker and
                  Ganesh Gopalakrishnan},
  title        = {Formalizing Integration Theory with an Application to Probabilistic
                  Algorithms},
  booktitle    = {Theorem Proving in Higher Order Logics, 17th International Conference,
                  TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3223},
  pages        = {271--286},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30142-4\_20},
  doi          = {10.1007/978-3-540-30142-4\_20},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tphol/Richter04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tphol/WildmoserN04,
  author       = {Martin Wildmoser and
                  Tobias Nipkow},
  editor       = {Konrad Slind and
                  Annette Bunker and
                  Ganesh Gopalakrishnan},
  title        = {Certifying Machine Code Safety: Shallow Versus Deep Embedding},
  booktitle    = {Theorem Proving in Higher Order Logics, 17th International Conference,
                  TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3223},
  pages        = {305--320},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30142-4\_22},
  doi          = {10.1007/978-3-540-30142-4\_22},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tphol/WildmoserN04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tphol/ZhangSM04,
  author       = {Ting Zhang and
                  Henny B. Sipma and
                  Zohar Manna},
  editor       = {Konrad Slind and
                  Annette Bunker and
                  Ganesh Gopalakrishnan},
  title        = {Term Algebras with Length Function and Bounded Quantifier Alternation},
  booktitle    = {Theorem Proving in Higher Order Logics, 17th International Conference,
                  TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3223},
  pages        = {321--336},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30142-4\_23},
  doi          = {10.1007/978-3-540-30142-4\_23},
  timestamp    = {Tue, 04 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tphol/ZhangSM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tphol/ZuoHC04,
  author       = {Tian{-}jun Zuo and
                  Jun{-}gang Han and
                  Ping Chen},
  editor       = {Konrad Slind and
                  Annette Bunker and
                  Ganesh Gopalakrishnan},
  title        = {Formalizing Java Dynamic Loading in {HOL}},
  booktitle    = {Theorem Proving in Higher Order Logics, 17th International Conference,
                  TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3223},
  pages        = {287--304},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30142-4\_21},
  doi          = {10.1007/978-3-540-30142-4\_21},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tphol/ZuoHC04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/tphol/2004,
  editor       = {Konrad Slind and
                  Annette Bunker and
                  Ganesh Gopalakrishnan},
  title        = {Theorem Proving in Higher Order Logics, 17th International Conference,
                  TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3223},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/b100400},
  doi          = {10.1007/B100400},
  isbn         = {3-540-23017-3},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tphol/2004.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.