Unification with sequence variables and flexible arity symbols and its extension with pattern-terms

Teimuraz Kutsia

doi:10.1007/3-540-45470-5

Unification with sequence variables and flexible arity symbols and its extension with pattern-terms

Teimuraz Kutsia

Research Institute for Symbolic Computation

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

Original language	English
Title of host publication	Artificial Intelligence, Automated Reasoning and Symbolic Computation. Proceedings of Joint AICS'2002 - Calculemus'2002 conference
Editors	Laurent Henocque, Jacques Calmet, Belaid Benhamou, Olga Caprotti, Volker Sorge
Publisher	Springer Verlag
Pages	290-304
Number of pages	15
Volume	2385
ISBN (Print)	3540438653, 9783540438656
DOIs	https://doi.org/10.1007/3-540-45470-5
Publication status	Published - Jul 2002

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	2385
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/3-540-45470-5

Cite this

Kutsia, T. (2002). Unification with sequence variables and flexible arity symbols and its extension with pattern-terms. In L. Henocque, J. Calmet, B. Benhamou, O. Caprotti, & V. Sorge (Eds.), Artificial Intelligence, Automated Reasoning and Symbolic Computation. Proceedings of Joint AICS'2002 - Calculemus'2002 conference (Vol. 2385, pp. 290-304). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2385). Springer Verlag. https://doi.org/10.1007/3-540-45470-5

Kutsia, Teimuraz. / Unification with sequence variables and flexible arity symbols and its extension with pattern-terms. Artificial Intelligence, Automated Reasoning and Symbolic Computation. Proceedings of Joint AICS'2002 - Calculemus'2002 conference. editor / Laurent Henocque ; Jacques Calmet ; Belaid Benhamou ; Olga Caprotti ; Volker Sorge. Vol. 2385 Springer Verlag, 2002. pp. 290-304 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{792a4a99f73c4f9b9e3c199669e8d04a,

title = "Unification with sequence variables and flexible arity symbols and its extension with pattern-terms",

author = "Teimuraz Kutsia",

year = "2002",

month = jul,

doi = "10.1007/3-540-45470-5",

language = "English",

isbn = "3540438653",

volume = "2385",

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

publisher = "Springer Verlag",

pages = "290--304",

editor = "Laurent Henocque and Jacques Calmet and Belaid Benhamou and Olga Caprotti and Volker Sorge",

booktitle = "Artificial Intelligence, Automated Reasoning and Symbolic Computation. Proceedings of Joint AICS'2002 - Calculemus'2002 conference",

}

Kutsia, T 2002, Unification with sequence variables and flexible arity symbols and its extension with pattern-terms. in L Henocque, J Calmet, B Benhamou, O Caprotti & V Sorge (eds), Artificial Intelligence, Automated Reasoning and Symbolic Computation. Proceedings of Joint AICS'2002 - Calculemus'2002 conference. vol. 2385, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2385, Springer Verlag, pp. 290-304. https://doi.org/10.1007/3-540-45470-5

Unification with sequence variables and flexible arity symbols and its extension with pattern-terms. / Kutsia, Teimuraz.
Artificial Intelligence, Automated Reasoning and Symbolic Computation. Proceedings of Joint AICS'2002 - Calculemus'2002 conference. ed. / Laurent Henocque; Jacques Calmet; Belaid Benhamou; Olga Caprotti; Volker Sorge. Vol. 2385 Springer Verlag, 2002. p. 290-304 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2385).

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

TY - GEN

T1 - Unification with sequence variables and flexible arity symbols and its extension with pattern-terms

AU - Kutsia, Teimuraz

PY - 2002/7

Y1 - 2002/7

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

U2 - 10.1007/3-540-45470-5

DO - 10.1007/3-540-45470-5

M3 - Conference proceedings

SN - 3540438653

SN - 9783540438656

VL - 2385

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

SP - 290

EP - 304

BT - Artificial Intelligence, Automated Reasoning and Symbolic Computation. Proceedings of Joint AICS'2002 - Calculemus'2002 conference

A2 - Henocque, Laurent

A2 - Calmet, Jacques

A2 - Benhamou, Belaid

A2 - Caprotti, Olga

A2 - Sorge, Volker

PB - Springer Verlag

ER -

Kutsia T. Unification with sequence variables and flexible arity symbols and its extension with pattern-terms. In Henocque L, Calmet J, Benhamou B, Caprotti O, Sorge V, editors, Artificial Intelligence, Automated Reasoning and Symbolic Computation. Proceedings of Joint AICS'2002 - Calculemus'2002 conference. Vol. 2385. Springer Verlag. 2002. p. 290-304. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-45470-5

Unification with sequence variables and flexible arity symbols and its extension with pattern-terms

Publication series

Fields of science

Access to Document

Other files and links

Cite this