Standard
Complexity hierarchies and higher-order cons-free rewriting. / Kop, Cynthia Louisa Martina; Simonsen, Jakob Grue.
1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016). red. / Delia Kesner; Brigitte Pientka. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016. 23 (Leibniz International Proceedings in Informatics, Bind 52).
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Harvard
Kop, CLM
& Simonsen, JG 2016,
Complexity hierarchies and higher-order cons-free rewriting. i D Kesner & B Pientka (red),
1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016)., 23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Leibniz International Proceedings in Informatics, bind 52, International Conference on Formal Structures for Computation and Deduction 2016, Porto, Portugal,
22/06/2016.
https://doi.org/10.4230/LIPIcs.FSCD.2016.23APA
Kop, C. L. M.
, & Simonsen, J. G. (2016).
Complexity hierarchies and higher-order cons-free rewriting. I D. Kesner, & B. Pientka (red.),
1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016) [23] Schloss Dagstuhl - Leibniz-Zentrum für Informatik. Leibniz International Proceedings in Informatics Bind 52
https://doi.org/10.4230/LIPIcs.FSCD.2016.23Vancouver
Kop CLM
, Simonsen JG.
Complexity hierarchies and higher-order cons-free rewriting. I Kesner D, Pientka B, red., 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. 2016. 23. (Leibniz International Proceedings in Informatics, Bind 52).
https://doi.org/10.4230/LIPIcs.FSCD.2016.23Author
Kop, Cynthia Louisa Martina ; Simonsen, Jakob Grue. / Complexity hierarchies and higher-order cons-free rewriting. 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016). red. / Delia Kesner ; Brigitte Pientka. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016. (Leibniz International Proceedings in Informatics, Bind 52).
Bibtex
@inproceedings{90bd87505ab8442c9222014d6a7bb65c,
title = "Complexity hierarchies and higher-order cons-free rewriting",
author = "Kop, {Cynthia Louisa Martina} and Simonsen, {Jakob Grue}",
year = "2016",
doi = "10.4230/LIPIcs.FSCD.2016.23",
language = "English",
isbn = "978-3-95977-010-1",
series = "Leibniz International Proceedings in Informatics",
publisher = "Schloss Dagstuhl - Leibniz-Zentrum f{\"u}r Informatik",
editor = "Delia Kesner and Brigitte Pientka",
booktitle = "1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016)",
note = "null ; Conference date: 22-06-2016 Through 26-06-2016",
}
RIS
TY - GEN
T1 - Complexity hierarchies and higher-order cons-free rewriting
AU - Kop, Cynthia Louisa Martina
AU - Simonsen, Jakob Grue
N1 - Conference code: 1
PY - 2016
Y1 - 2016
U2 - 10.4230/LIPIcs.FSCD.2016.23
DO - 10.4230/LIPIcs.FSCD.2016.23
M3 - Article in proceedings
SN - 978-3-95977-010-1
T3 - Leibniz International Proceedings in Informatics
BT - 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016)
A2 - Kesner, Delia
A2 - Pientka, Brigitte
PB - Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Y2 - 22 June 2016 through 26 June 2016
ER -
