@inproceedings{DBLP:conf/tphol/BulwahnKN07,
  author    = {Lukas Bulwahn and
               Alexander Krauss and
               Tobias Nipkow},
  title     = {Finding Lexicographic Orders for Termination Proofs in Isabelle/HOL},
  booktitle = {Theorem Proving in Higher Order Logics, 20th International Conference,
               TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings},
  pages     = {38--53},
  year      = {2007},
  crossref  = {DBLP:conf/tphol/2007},
  url       = {https://doi.org/10.1007/978-3-540-74591-4_5},
  doi       = {10.1007/978-3-540-74591-4_5},
  timestamp = {Mon, 05 Jun 2017 12:43:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tphol/BulwahnKN07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"3KW7nkwbtdm3LobXX","bibbaseid":"bulwahn-krauss-nipkow-findinglexicographicordersforterminationproofsinisabellehol-2007","downloads":0,"creationDate":"2018-05-31T23:07:57.092Z","title":"Finding Lexicographic Orders for Termination Proofs in Isabelle/HOL","author_short":["Bulwahn, L.","Krauss, A.","Nipkow, T."],"year":2007,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/45/6779.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Lukas"],"propositions":[],"lastnames":["Bulwahn"],"suffixes":[]},{"firstnames":["Alexander"],"propositions":[],"lastnames":["Krauss"],"suffixes":[]},{"firstnames":["Tobias"],"propositions":[],"lastnames":["Nipkow"],"suffixes":[]}],"title":"Finding Lexicographic Orders for Termination Proofs in Isabelle/HOL","booktitle":"Theorem Proving in Higher Order Logics, 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings","pages":"38–53","year":"2007","crossref":"DBLP:conf/tphol/2007","url":"https://doi.org/10.1007/978-3-540-74591-4_5","doi":"10.1007/978-3-540-74591-4_5","timestamp":"Mon, 05 Jun 2017 12:43:31 +0200","biburl":"https://dblp.org/rec/bib/conf/tphol/BulwahnKN07","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/tphol/BulwahnKN07,\n author = {Lukas Bulwahn and\n Alexander Krauss and\n Tobias Nipkow},\n title = {Finding Lexicographic Orders for Termination Proofs in Isabelle/HOL},\n booktitle = {Theorem Proving in Higher Order Logics, 20th International Conference,\n TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings},\n pages = {38--53},\n year = {2007},\n crossref = {DBLP:conf/tphol/2007},\n url = {https://doi.org/10.1007/978-3-540-74591-4_5},\n doi = {10.1007/978-3-540-74591-4_5},\n timestamp = {Mon, 05 Jun 2017 12:43:31 +0200},\n biburl = {https://dblp.org/rec/bib/conf/tphol/BulwahnKN07},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Bulwahn, L.","Krauss, A.","Nipkow, T."],"key":"DBLP:conf/tphol/BulwahnKN07","id":"DBLP:conf/tphol/BulwahnKN07","bibbaseid":"bulwahn-krauss-nipkow-findinglexicographicordersforterminationproofsinisabellehol-2007","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-540-74591-4_5"},"downloads":0},"search_terms":["finding","lexicographic","orders","termination","proofs","isabelle","hol","bulwahn","krauss","nipkow"],"keywords":[],"authorIDs":[],"dataSources":["PvWQhnTuaoX3tvwp3"]}