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

Research Institute for Symbolic Computation

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Original language	English
Title of host publication	Proceedings of the 18th International Conference on Rewriting Techniques and Applications (RTA'07)
Editors	F. Baader
Pages	288-302
Number of pages	15
Volume	4533
DOIs	https://doi.org/10.1007/978-3-540-73449-9_22
Publication status	Published - 2007

Publication series

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

Fields of science

101 Mathematics
101001 Algebra
101005 Computer algebra
101009 Geometry
101012 Combinatorics
101013 Mathematical logic
101020 Technical mathematics

Access to Document

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

Cite this

Kutsia, T., Villaret, M., & Levy, J. (2007). Sequence Unification Through Currying. In F. Baader (Ed.), Proceedings of the 18th International Conference on Rewriting Techniques and Applications (RTA'07) (Vol. 4533, pp. 288-302). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 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). editor / F. Baader. Vol. 4533 2007. pp. 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 (ed.), Proceedings of the 18th International Conference on Rewriting Techniques and Applications (RTA'07). vol. 4533, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4533 LNCS, pp. 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). ed. / F. Baader. Vol. 4533 2007. p. 288-302 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4533 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

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, editor, Proceedings of the 18th International Conference on Rewriting Techniques and Applications (RTA'07). Vol. 4533. 2007. p. 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

Sequence Unification Through Currying

Publication series

Fields of science

Access to Document

Other files and links

Cite this