Solving Proximity Constraints

Teimuraz Kutsia; Ioana Cleopatra Pau

Solving Proximity Constraints

Institut für Symbolisches Rechnen

Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

Originalsprache	Englisch
Titel	Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019. Revised Selected Papers
Herausgeber*innen	Maurizio Gabbrielli
Seiten	107-122
Seitenumfang	16
Band	12042
Publikationsstatus	Veröffentlicht - 2019

Publikationsreihe

Name	Lecture Notes in Computer Science (LNCS)

Wissenschaftszweige

101 Mathematik
101001 Algebra
101005 Computeralgebra
101009 Geometrie
101012 Kombinatorik
101013 Mathematische Logik
101020 Technische Mathematik

JKU-Schwerpunkte

Digital Transformation

Dieses zitieren

@inproceedings{0797c40312ec4afda4abd1c9b4efb543,

title = "Solving Proximity Constraints",

author = "Teimuraz Kutsia and Pau, \{Ioana Cleopatra\}",

year = "2019",

language = "English",

isbn = "978-3-030-45259-9",

volume = "12042",

series = "Lecture Notes in Computer Science (LNCS)",

pages = "107--122",

editor = "\{Maurizio Gabbrielli\}",

booktitle = "Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019. Revised Selected Papers",

}

Solving Proximity Constraints. / Kutsia, Teimuraz ; Pau, Ioana Cleopatra.
Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019. Revised Selected Papers. Hrsg. / Maurizio Gabbrielli. Band 12042 2019. S. 107-122 (Lecture Notes in Computer Science (LNCS)).

Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

TY - GEN

T1 - Solving Proximity Constraints

AU - Kutsia, Teimuraz

AU - Pau, Ioana Cleopatra

PY - 2019

Y1 - 2019

M3 - Conference proceedings

SN - 978-3-030-45259-9

VL - 12042

T3 - Lecture Notes in Computer Science (LNCS)

SP - 107

EP - 122

BT - Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019. Revised Selected Papers

A2 - Maurizio Gabbrielli, null

ER -