On the Relation Between Context and Sequence Unification

Teimuraz Kutsia, Jordi Levy, Mateu Villaret

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

Original language	English
Pages (from-to)	74-95
Number of pages	22
Journal	Journal of Symbolic Computation
Volume	45
Issue number	1
DOIs	https://doi.org/10.1016/j.jsc.2009.07.001
Publication status	Published - 2010

Fields of science

@article{b8b9eea55e89442894e58642efc4111c,

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

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

year = "2010",

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",

}