Sequence Unification Through Currying

Teimuraz Kutsia; Mateu Villaret; Jordi Levy

doi:10.1007/978-3-540-73449-9_22

Sequence Unification Through Currying

Teimuraz Kutsia
, Mateu Villaret
, Jordi Levy

Institut für Symbolisches Rechnen

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

Originalsprache	Englisch
Titel	Proceedings of the 18th International Conference on Rewriting Techniques and Applications (RTA'07)
Herausgeber*innen	F. Baader
Seiten	288-302
Seitenumfang	15
Band	4533
DOIs	https://doi.org/10.1007/978-3-540-73449-9_22
Publikationsstatus	Veröffentlicht - 2007

Publikationsreihe

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Band	4533 LNCS
ISSN (Print)	0302-9743
ISSN (elektronisch)	1611-3349

Wissenschaftszweige

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

Zugriff auf Dokument

10.1007/978-3-540-73449-9_22

Andere Dateien und Links

Verknüpfung zur Publikation in Scopus

Dieses zitieren

Kutsia, T., Villaret, M., & Levy, J. (2007). Sequence Unification Through Currying. in F. Baader (Hrsg.), Proceedings of the 18th International Conference on Rewriting Techniques and Applications (RTA'07) (Band 4533, S. 288-302). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 4533 LNCS). https://doi.org/10.1007/978-3-540-73449-9_22

Kutsia, Teimuraz ; Villaret, Mateu ; Levy, Jordi. / Sequence Unification Through Currying. Proceedings of the 18th International Conference on Rewriting Techniques and Applications (RTA'07). Hrsg. / F. Baader. Band 4533 2007. S. 288-302 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{540b371bf4984019aa46bdc6682571eb,

title = "Sequence Unification Through Currying",

author = "Teimuraz Kutsia and Mateu Villaret and Jordi Levy",

year = "2007",

doi = "10.1007/978-3-540-73449-9\_22",

language = "English",

isbn = "978-3-540-73447-5",

volume = "4533",

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

pages = "288--302",

editor = "\{F. Baader\}",

booktitle = "Proceedings of the 18th International Conference on Rewriting Techniques and Applications (RTA'07)",

}

Kutsia, T, Villaret, M & Levy, J 2007, Sequence Unification Through Currying. in F. Baader (Hrsg.), Proceedings of the 18th International Conference on Rewriting Techniques and Applications (RTA'07). Bd. 4533, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bd. 4533 LNCS, S. 288-302. https://doi.org/10.1007/978-3-540-73449-9_22

Sequence Unification Through Currying. / Kutsia, Teimuraz; Villaret, Mateu; Levy, Jordi.
Proceedings of the 18th International Conference on Rewriting Techniques and Applications (RTA'07). Hrsg. / F. Baader. Band 4533 2007. S. 288-302 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 4533 LNCS).

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

TY - GEN

T1 - Sequence Unification Through Currying

AU - Kutsia, Teimuraz

AU - Villaret, Mateu

AU - Levy, Jordi

PY - 2007

Y1 - 2007

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

U2 - 10.1007/978-3-540-73449-9_22

DO - 10.1007/978-3-540-73449-9_22

M3 - Conference proceedings

SN - 978-3-540-73447-5

VL - 4533

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

SP - 288

EP - 302

BT - Proceedings of the 18th International Conference on Rewriting Techniques and Applications (RTA'07)

A2 - F. Baader, null

ER -

Kutsia T, Villaret M, Levy J. Sequence Unification Through Currying. in F. Baader, Hrsg., Proceedings of the 18th International Conference on Rewriting Techniques and Applications (RTA'07). Band 4533. 2007. S. 288-302. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-73449-9_22