On the Relation Between Context and Sequence Unification

Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung

Originalsprache	Englisch
Seiten (von - bis)	74-95
Seitenumfang	22
Fachzeitschrift	Journal of Symbolic Computation
Volume	45
Ausgabenummer	1
DOIs	https://doi.org/10.1016/j.jsc.2009.07.001
Publikationsstatus	Veröffentlicht - Jän. 2010

Wissenschaftszweige

@article{b8b9eea55e89442894e58642efc4111c,

title = "On the Relation Between Context and Sequence Unification",

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

year = "2010",

month = jan,

doi = "10.1016/j.jsc.2009.07.001",

language = "English",

volume = "45",

pages = "74--95",

journal = "Journal of Symbolic Computation",

issn = "1095-855X",

publisher = "Elsevier BV",

number = "1",

}

TY - JOUR

T1 - On the Relation Between Context and Sequence Unification

AU - Kutsia, Teimuraz

AU - Levy, Jordi

AU - Villaret, Mateu

PY - 2010/1

Y1 - 2010/1

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

U2 - 10.1016/j.jsc.2009.07.001

DO - 10.1016/j.jsc.2009.07.001

M3 - Article

SN - 1095-855X

VL - 45

SP - 74

EP - 95

JO - Journal of Symbolic Computation

JF - Journal of Symbolic Computation

IS - 1

ER -