On the complexity of unification sequences

Heikki Mannila; Esko Ukkonen

doi:10.1007/3-540-16492-8_69

On the complexity of unification sequences

Not published at Aalto University

University of Helsinki

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

Original language	English
Title of host publication	Third International Conference on Logic Programming
Subtitle of host publication	Imperial College of Science and Technology, London, United Kingdom, July 14–18, 1986 Proceedings
Editors	Ehud Shapiro
Publisher	Springer
Pages	122–133
ISBN (Print)	978-3-540-16492-0
DOIs	https://doi.org/10.1007/3-540-16492-8_69
Publication status	Published - 1986
MoE publication type	A4 Conference publication
Event	International Conference on Logic Programming - London, United Kingdom Duration: 14 Jul 1986 → 18 Jul 1986 Conference number: 3

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	225
ISSN (Print)	0302-9743

Conference

Conference	International Conference on Logic Programming
Abbreviated title	ICLP
Country/Territory	United Kingdom
City	London
Period	14/07/1986 → 18/07/1986

Access to Document

10.1007/3-540-16492-8_69

Cite this

@inproceedings{a582e64b27e8495ca1d8bde46c519eb1,

title = "On the complexity of unification sequences",

author = "Heikki Mannila and Esko Ukkonen",

year = "1986",

doi = "10.1007/3-540-16492-8_69",

language = "English",

isbn = "978-3-540-16492-0",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "122–133",

editor = "Ehud Shapiro",

booktitle = "Third International Conference on Logic Programming",

address = "Germany",

note = "International Conference on Logic Programming, ICLP ; Conference date: 14-07-1986 Through 18-07-1986",

}

Mannila, H & Ukkonen, E 1986, On the complexity of unification sequences. in E Shapiro (ed.), Third International Conference on Logic Programming: Imperial College of Science and Technology, London, United Kingdom, July 14–18, 1986 Proceedings. Lecture Notes in Computer Science, vol. 225, Springer, pp. 122–133, International Conference on Logic Programming, London, United Kingdom, 14/07/1986. https://doi.org/10.1007/3-540-16492-8_69

On the complexity of unification sequences. / Mannila, Heikki; Ukkonen, Esko.
Third International Conference on Logic Programming: Imperial College of Science and Technology, London, United Kingdom, July 14–18, 1986 Proceedings. ed. / Ehud Shapiro. Springer, 1986. p. 122–133 (Lecture Notes in Computer Science; Vol. 225).

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

TY - GEN

T1 - On the complexity of unification sequences

AU - Mannila, Heikki

AU - Ukkonen, Esko

N1 - Conference code: 3

PY - 1986

Y1 - 1986

U2 - 10.1007/3-540-16492-8_69

DO - 10.1007/3-540-16492-8_69

M3 - Conference article in proceedings

SN - 978-3-540-16492-0

T3 - Lecture Notes in Computer Science

SP - 122

EP - 133

BT - Third International Conference on Logic Programming

A2 - Shapiro, Ehud

PB - Springer

T2 - International Conference on Logic Programming

Y2 - 14 July 1986 through 18 July 1986

ER -