A Categorical Unification Algorithm

David Rydeheard; Rod M Burstall; David H Pitt; Samson Abramsky; Axel Poigné; David E Rydeheard

A Categorical Unification Algorithm

David Rydeheard
, Rod M Burstall
, David H Pitt (Editor)
, Samson Abramsky (Editor)
, Axel Poigné (Editor)
, David E Rydeheard (Editor)

Research output: Chapter in Book/Conference proceeding › Conference contribution

Original language	English
Title of host publication	CTCS
Editors	David H Pitt, Samson Abramsky, Axel Poigné, David E Rydeheard
Publisher	Springer Nature
Pages	493-505
Number of pages	13
Volume	240
ISBN (Print)	3-540-17162-2
Publication status	Published - 1985
Event	Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings - Duration: 1 Jan 1824 → … http://dblp.uni-trier.de/db/conf/ctcs/ctcs1985.html#RydeheardB85http://dblp.uni-trier.de/rec/bibtex/conf/ctcs/RydeheardB85.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/ctcs/RydeheardB85

Publication series

Name	Lecture Notes in Computer Science

Conference

Conference	Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings
Period	1/01/24 → …
Internet address	http://dblp.uni-trier.de/db/conf/ctcs/ctcs1985.html#RydeheardB85http://dblp.uni-trier.de/rec/bibtex/conf/ctcs/RydeheardB85.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/ctcs/RydeheardB85

Access to Document

Cite this

Rydeheard, D., Burstall, R. M., Pitt, D. H. (Ed.), Abramsky, S. (Ed.), Poigné, A. (Ed.), & Rydeheard, D. E. (Ed.) (1985). A Categorical Unification Algorithm. In D. H. Pitt, S. Abramsky, A. Poigné, & D. E. Rydeheard (Eds.), CTCS (Vol. 240, pp. 493-505). (Lecture Notes in Computer Science). Springer Nature. http://dblp.uni-trier.de/db/conf/ctcs/ctcs1985.html#RydeheardB85

@inproceedings{e2a0d2f085ef49fbb49d18907764f333,

title = "A Categorical Unification Algorithm",

author = "David Rydeheard and Burstall, \{Rod M\} and Pitt, \{David H\} and Samson Abramsky and Axel Poign{\'e} and Rydeheard, \{David E\}",

year = "1985",

language = "English",

isbn = "3-540-17162-2",

volume = "240",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature",

pages = "493--505",

editor = "Pitt, \{David H\} and Samson Abramsky and Axel Poign{\'e} and Rydeheard, \{David E\}",

booktitle = "CTCS",

address = "United States",

note = "Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings ; Conference date: 01-01-1824",

url = "http://dblp.uni-trier.de/db/conf/ctcs/ctcs1985.html\#RydeheardB85http://dblp.uni-trier.de/rec/bibtex/conf/ctcs/RydeheardB85.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/ctcs/RydeheardB85",

}

Rydeheard, D, Burstall, RM, Pitt, DH (ed.), Abramsky, S (ed.), Poigné, A (ed.) & Rydeheard, DE (ed.) 1985, A Categorical Unification Algorithm. in DH Pitt, S Abramsky, A Poigné & DE Rydeheard (eds), CTCS. vol. 240, Lecture Notes in Computer Science, Springer Nature, pp. 493-505, Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings, 1/01/24. <http://dblp.uni-trier.de/db/conf/ctcs/ctcs1985.html#RydeheardB85>

TY - GEN

T1 - A Categorical Unification Algorithm

AU - Rydeheard, David

AU - Burstall, Rod M

A2 - Pitt, David H

A2 - Abramsky, Samson

A2 - Poigné, Axel

A2 - Rydeheard, David E

A2 - Pitt, David H

A2 - Abramsky, Samson

A2 - Poigné, Axel

A2 - Rydeheard, David E

PY - 1985

Y1 - 1985

M3 - Conference contribution

SN - 3-540-17162-2

VL - 240

T3 - Lecture Notes in Computer Science

SP - 493

EP - 505

BT - CTCS

PB - Springer Nature

T2 - Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings

Y2 - 1 January 1824

ER -