Standard
Nested Multisets, Hereditary Multisets, and Syntactic Ordinals in Isabelle/HOL. / Blanchette, Jasmin Christian; Fleury, Mathias; Traytel, Dmitriy.
FSCD 2017. red. / Dale Miller. Bind 84 Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017. s. 11:1-11:18 (LIPIcs).
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Harvard
Blanchette, JC, Fleury, M
& Traytel, D 2017,
Nested Multisets, Hereditary Multisets, and Syntactic Ordinals in Isabelle/HOL. i D Miller (red.),
FSCD 2017. bind 84, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, LIPIcs, s. 11:1-11:18.
https://doi.org/10.4230/LIPIcs.FSCD.2017.11APA
Blanchette, J. C., Fleury, M.
, & Traytel, D. (2017).
Nested Multisets, Hereditary Multisets, and Syntactic Ordinals in Isabelle/HOL. I D. Miller (red.),
FSCD 2017 (Bind 84, s. 11:1-11:18). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. LIPIcs
https://doi.org/10.4230/LIPIcs.FSCD.2017.11Vancouver
Blanchette JC, Fleury M
, Traytel D.
Nested Multisets, Hereditary Multisets, and Syntactic Ordinals in Isabelle/HOL. I Miller D, red., FSCD 2017. Bind 84. Schloss Dagstuhl - Leibniz-Zentrum für Informatik. 2017. s. 11:1-11:18. (LIPIcs).
https://doi.org/10.4230/LIPIcs.FSCD.2017.11Author
Blanchette, Jasmin Christian ; Fleury, Mathias ; Traytel, Dmitriy. / Nested Multisets, Hereditary Multisets, and Syntactic Ordinals in Isabelle/HOL. FSCD 2017. red. / Dale Miller. Bind 84 Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017. s. 11:1-11:18 (LIPIcs).
Bibtex
@inproceedings{e2bfc2e93a93480988b0d7ff86b4b36e,
title = "Nested Multisets, Hereditary Multisets, and Syntactic Ordinals in Isabelle/HOL",
author = "Blanchette, {Jasmin Christian} and Mathias Fleury and Dmitriy Traytel",
year = "2017",
doi = "10.4230/LIPIcs.FSCD.2017.11",
language = "English",
volume = "84",
series = "LIPIcs",
pages = "11:1--11:18",
editor = "Dale Miller",
booktitle = "FSCD 2017",
publisher = "Schloss Dagstuhl - Leibniz-Zentrum f{\"u}r Informatik",
}
RIS
TY - GEN
T1 - Nested Multisets, Hereditary Multisets, and Syntactic Ordinals in Isabelle/HOL
AU - Blanchette, Jasmin Christian
AU - Fleury, Mathias
AU - Traytel, Dmitriy
PY - 2017
Y1 - 2017
U2 - 10.4230/LIPIcs.FSCD.2017.11
DO - 10.4230/LIPIcs.FSCD.2017.11
M3 - Article in proceedings
VL - 84
T3 - LIPIcs
SP - 11:1-11:18
BT - FSCD 2017
A2 - Miller, Dale
PB - Schloss Dagstuhl - Leibniz-Zentrum für Informatik
ER -
