Semi-inversion of conditional constructor term rewriting systems

Maja Hanne Kirkeby; Robert Glück

doi:10.1007/978-3-030-45260-5_15

Semi-inversion of conditional constructor term rewriting systems

Maja Hanne Kirkeby, Robert Glück

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

5 Citationer (Scopus)

Originalsprog	Engelsk
Titel	Logic-Based Program Synthesis and Transformation : 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers
Redaktører	Maurizio Gabbrielli
Forlag	Springer
Publikationsdato	2020
Sider	243-259
ISBN (Elektronisk)	978-3-030-45260-5
DOI	https://doi.org/10.1007/978-3-030-45260-5_15
Status	Udgivet - 2020
Begivenhed	29th International Symposium on Logic-Based Program Synthesis and Transformation - LOPSTR 2019 - Porto, Portugal Varighed: 8 okt. 2019 → 10 okt. 2019

Konference

Konference	29th International Symposium on Logic-Based Program Synthesis and Transformation - LOPSTR 2019
Land/Område	Portugal
By	Porto
Periode	08/10/2019 → 10/10/2019

Navn	Lecture Notes in Computer Science
Vol/bind	12042
ISSN	0302-9743

Adgang til dokumentet

10.1007/978-3-030-45260-5_15

Citationsformater

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

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 › peer review

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

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

@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",

}

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 -