A library of anti-unification algorithms

Alexander Baumgartner; Teimuraz Kutsia

doi:10.1007/978-3-319-11558-0_38

A library of anti-unification algorithms

Alexander Baumgartner
, Teimuraz Kutsia

Institut für Symbolisches Rechnen

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

Originalsprache	Englisch
Titel	Proceedings of the 14th European Conference on Logics in Artificial Intelligence, JELIA 2014
Herausgeber*innen	Eduardo Ferme and Joao Leite
Verlag	Springer
Seiten	543-557
Seitenumfang	15
Band	8761
ISBN (Print)	978-3-319-11557-3
DOIs	https://doi.org/10.1007/978-3-319-11558-0_38
Publikationsstatus	Veröffentlicht - 2014

Publikationsreihe

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN (Print)	0302-9743

Wissenschaftszweige

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

JKU-Schwerpunkte

Computation in Informatics and Mathematics

Zugriff auf Dokument

10.1007/978-3-319-11558-0_38

Andere Dateien und Links

Verknüpfung zur Publikation in Scopus

Dieses zitieren

Baumgartner, A., & Kutsia, T. (2014). A library of anti-unification algorithms. in Eduardo Ferme and Joao Leite (Hrsg.), Proceedings of the 14th European Conference on Logics in Artificial Intelligence, JELIA 2014 (Band 8761, S. 543-557). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). Springer. https://doi.org/10.1007/978-3-319-11558-0_38

Baumgartner, Alexander ; Kutsia, Teimuraz. / A library of anti-unification algorithms. Proceedings of the 14th European Conference on Logics in Artificial Intelligence, JELIA 2014. Hrsg. / Eduardo Ferme and Joao Leite. Band 8761 Springer, 2014. S. 543-557 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{3b0be5cb87684edf84b9b03b935eda41,

title = "A library of anti-unification algorithms",

author = "Alexander Baumgartner and Teimuraz Kutsia",

year = "2014",

doi = "10.1007/978-3-319-11558-0\_38",

language = "English",

isbn = "978-3-319-11557-3",

volume = "8761",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "543--557",

editor = "\{Eduardo Ferme and Joao Leite\}",

booktitle = "Proceedings of the 14th European Conference on Logics in Artificial Intelligence, JELIA 2014",

}

Baumgartner, A & Kutsia, T 2014, A library of anti-unification algorithms. in Eduardo Ferme and Joao Leite (Hrsg.), Proceedings of the 14th European Conference on Logics in Artificial Intelligence, JELIA 2014. Bd. 8761, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, S. 543-557. https://doi.org/10.1007/978-3-319-11558-0_38

A library of anti-unification algorithms. / Baumgartner, Alexander; Kutsia, Teimuraz.
Proceedings of the 14th European Conference on Logics in Artificial Intelligence, JELIA 2014. Hrsg. / Eduardo Ferme and Joao Leite. Band 8761 Springer, 2014. S. 543-557 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

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

TY - GEN

T1 - A library of anti-unification algorithms

AU - Baumgartner, Alexander

AU - Kutsia, Teimuraz

PY - 2014

Y1 - 2014

UR - https://www.scopus.com/pages/publications/84921358694

U2 - 10.1007/978-3-319-11558-0_38

DO - 10.1007/978-3-319-11558-0_38

M3 - Conference proceedings

SN - 978-3-319-11557-3

VL - 8761

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 543

EP - 557

BT - Proceedings of the 14th European Conference on Logics in Artificial Intelligence, JELIA 2014

A2 - Eduardo Ferme and Joao Leite, null

PB - Springer

ER -

Baumgartner A, Kutsia T. A library of anti-unification algorithms. in Eduardo Ferme and Joao Leite, Hrsg., Proceedings of the 14th European Conference on Logics in Artificial Intelligence, JELIA 2014. Band 8761. Springer. 2014. S. 543-557. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-11558-0_38