Standard
Semi-inversion of conditional constructor term rewriting systems. / Kirkeby, Maja Hanne; Glück, Robert.
Logic-Based Program Synthesis and Transformation: 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers. red. / Maurizio Gabbrielli. Springer, 2020. s. 243-259 (Lecture Notes in Computer Science, Bind 12042).
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Harvard
Kirkeby, MH
& Glück, R 2020,
Semi-inversion of conditional constructor term rewriting systems. i M Gabbrielli (red.),
Logic-Based Program Synthesis and Transformation: 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers. Springer, Lecture Notes in Computer Science, bind 12042, s. 243-259, 29th International Symposium on Logic-Based Program Synthesis and Transformation - LOPSTR 2019, Porto, Portugal,
08/10/2019.
https://doi.org/10.1007/978-3-030-45260-5_15
APA
Kirkeby, M. H.
, & Glück, R. (2020).
Semi-inversion of conditional constructor term rewriting systems. I M. Gabbrielli (red.),
Logic-Based Program Synthesis and Transformation: 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers (s. 243-259). Springer. Lecture Notes in Computer Science Bind 12042
https://doi.org/10.1007/978-3-030-45260-5_15
Vancouver
Kirkeby MH
, Glück R.
Semi-inversion of conditional constructor term rewriting systems. I Gabbrielli M, red., Logic-Based Program Synthesis and Transformation: 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers. Springer. 2020. s. 243-259. (Lecture Notes in Computer Science, Bind 12042).
https://doi.org/10.1007/978-3-030-45260-5_15
Author
Kirkeby, Maja Hanne ; Glück, Robert. / Semi-inversion of conditional constructor term rewriting systems. Logic-Based Program Synthesis and Transformation: 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers. red. / Maurizio Gabbrielli. Springer, 2020. s. 243-259 (Lecture Notes in Computer Science, Bind 12042).
Bibtex
@inproceedings{2ae84af6a38c41659c334ee32aca5900,
title = "Semi-inversion of conditional constructor term rewriting systems",
author = "Kirkeby, {Maja Hanne} and Robert Gl{\"u}ck",
year = "2020",
doi = "10.1007/978-3-030-45260-5_15",
language = "English",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = " 243--259",
editor = "Maurizio Gabbrielli",
booktitle = "Logic-Based Program Synthesis and Transformation",
address = "Switzerland",
note = "29th International Symposium on Logic-Based Program Synthesis and Transformation - LOPSTR 2019 ; Conference date: 08-10-2019 Through 10-10-2019",
}
RIS
TY - GEN
T1 - Semi-inversion of conditional constructor term rewriting systems
AU - Kirkeby, Maja Hanne
AU - Glück, Robert
PY - 2020
Y1 - 2020
U2 - 10.1007/978-3-030-45260-5_15
DO - 10.1007/978-3-030-45260-5_15
M3 - Article in proceedings
T3 - Lecture Notes in Computer Science
SP - 243
EP - 259
BT - Logic-Based Program Synthesis and Transformation
A2 - Gabbrielli, Maurizio
PB - Springer
T2 - 29th International Symposium on Logic-Based Program Synthesis and Transformation - LOPSTR 2019
Y2 - 8 October 2019 through 10 October 2019
ER -