An overview of PpLog

Besik Dundua; Teimuraz Kutsia; Klaus Reisenberger-Hagmayer

An overview of PpLog

Besik Dundua
, Teimuraz Kutsia
, Klaus Reisenberger-Hagmayer

Institut für Symbolisches Rechnen

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

Originalsprache	Englisch
Titel	Proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017
Herausgeber*innen	Y. Lierler and W. Taha
Verlag	Springer
Seiten	34-49
Seitenumfang	16
Band	10137
ISBN (Print)	978-3-319-51675-2
Publikationsstatus	Veröffentlicht - 2017

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

Computation in Informatics and Mathematics

Dieses zitieren

@inproceedings{3255658f23dc4039bc423012cbe58694,

title = "An overview of PpLog",

author = "Besik Dundua and Teimuraz Kutsia and Klaus Reisenberger-Hagmayer",

year = "2017",

language = "English",

isbn = "978-3-319-51675-2",

volume = "10137",

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

publisher = "Springer",

pages = "34--49",

editor = "\{Y. Lierler and W. Taha\}",

booktitle = "Proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017",

}

An overview of PpLog. / Dundua, Besik; Kutsia, Teimuraz; Reisenberger-Hagmayer, Klaus.
Proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017. Hrsg. / Y. Lierler and W. Taha. Band 10137 Springer, 2017. S. 34-49 (Lecture Notes in Computer Science (LNCS)).

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

TY - GEN

T1 - An overview of PpLog

AU - Dundua, Besik

AU - Kutsia, Teimuraz

AU - Reisenberger-Hagmayer, Klaus

PY - 2017

Y1 - 2017

M3 - Conference proceedings

SN - 978-3-319-51675-2

VL - 10137

T3 - Lecture Notes in Computer Science (LNCS)

SP - 34

EP - 49

BT - Proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017

A2 - Y. Lierler and W. Taha, null

PB - Springer

ER -