Pattern Unification with Sequence Variables and Flexible Arity Symbols.

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	52-69
Number of pages	18
Journal	Electronic Notes in Theoretical Computer Science
Volume	66
Issue number	5
DOIs	https://doi.org/10.1016/S1571-0661(04)80514-0
Publication status	Published - 2002

Fields of science

@article{e6b7ce83878c4ce3a549e049ed01ffad,

title = "Pattern Unification with Sequence Variables and Flexible Arity Symbols.",

author = "Teimuraz Kutsia",

year = "2002",

doi = "10.1016/S1571-0661(04)80514-0",

language = "English",

volume = "66",

pages = "52--69",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "ELSEVIER SCIENCE BV",

number = "5",

}

TY - JOUR

T1 - Pattern Unification with Sequence Variables and Flexible Arity Symbols.

AU - Kutsia, Teimuraz

PY - 2002

Y1 - 2002

U2 - 10.1016/S1571-0661(04)80514-0

DO - 10.1016/S1571-0661(04)80514-0

M3 - Article

SN - 1571-0661

VL - 66

SP - 52

EP - 69

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

IS - 5

ER -