@inproceedings{DBLP:conf/rta/BlanchetteFT17,
  author    = {Jasmin Christian Blanchette and
               Mathias Fleury and
               Dmitriy Traytel},
  editor    = {Dale Miller},
  title     = {Nested Multisets, Hereditary Multisets, and Syntactic Ordinals in
               Isabelle/HOL},
  booktitle = {2nd International Conference on Formal Structures for Computation
               and Deduction, {FSCD} 2017, September 3-9, 2017, Oxford, {UK}},
  series    = {LIPIcs},
  volume    = {84},
  pages     = {11:1--11:18},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2017},
  url       = {https://doi.org/10.4230/LIPIcs.FSCD.2017.11},
  doi       = {10.4230/LIPIcs.FSCD.2017.11},
  timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl    = {https://dblp.org/rec/conf/rta/BlanchetteFT17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"NEJH4CzEmfMMvZ8aK","bibbaseid":"blanchette-fleury-traytel-nestedmultisetshereditarymultisetsandsyntacticordinalsinisabellehol-2017","author_short":["Blanchette, J. C.","Fleury, M.","Traytel, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Jasmin","Christian"],"propositions":[],"lastnames":["Blanchette"],"suffixes":[]},{"firstnames":["Mathias"],"propositions":[],"lastnames":["Fleury"],"suffixes":[]},{"firstnames":["Dmitriy"],"propositions":[],"lastnames":["Traytel"],"suffixes":[]}],"editor":[{"firstnames":["Dale"],"propositions":[],"lastnames":["Miller"],"suffixes":[]}],"title":"Nested Multisets, Hereditary Multisets, and Syntactic Ordinals in Isabelle/HOL","booktitle":"2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, September 3-9, 2017, Oxford, UK","series":"LIPIcs","volume":"84","pages":"11:1–11:18","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","year":"2017","url":"https://doi.org/10.4230/LIPIcs.FSCD.2017.11","doi":"10.4230/LIPIcs.FSCD.2017.11","timestamp":"Tue, 11 Feb 2020 15:52:14 +0100","biburl":"https://dblp.org/rec/conf/rta/BlanchetteFT17.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/rta/BlanchetteFT17,\n author = {Jasmin Christian Blanchette and\n Mathias Fleury and\n Dmitriy Traytel},\n editor = {Dale Miller},\n title = {Nested Multisets, Hereditary Multisets, and Syntactic Ordinals in\n Isabelle/HOL},\n booktitle = {2nd International Conference on Formal Structures for Computation\n and Deduction, {FSCD} 2017, September 3-9, 2017, Oxford, {UK}},\n series = {LIPIcs},\n volume = {84},\n pages = {11:1--11:18},\n publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\\\"{u}}r Informatik},\n year = {2017},\n url = {https://doi.org/10.4230/LIPIcs.FSCD.2017.11},\n doi = {10.4230/LIPIcs.FSCD.2017.11},\n timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},\n biburl = {https://dblp.org/rec/conf/rta/BlanchetteFT17.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Blanchette, J. C.","Fleury, M.","Traytel, D."],"editor_short":["Miller, D."],"key":"DBLP:conf/rta/BlanchetteFT17","id":"DBLP:conf/rta/BlanchetteFT17","bibbaseid":"blanchette-fleury-traytel-nestedmultisetshereditarymultisetsandsyntacticordinalsinisabellehol-2017","role":"author","urls":{"Paper":"https://doi.org/10.4230/LIPIcs.FSCD.2017.11"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/95/10567.bib","dataSources":["kgH2yTFtfgstdBGrT"],"keywords":[],"search_terms":["nested","multisets","hereditary","multisets","syntactic","ordinals","isabelle","hol","blanchette","fleury","traytel"],"title":"Nested Multisets, Hereditary Multisets, and Syntactic Ordinals in Isabelle/HOL","year":2017}