Foundations of Equational Deduction: A Categorical Treatment of Equational Proofs and Unification Algorithms

David Rydeheard; John G Stell; David H Pitt; Axel Poigné; David E Rydeheard

Foundations of Equational Deduction: A Categorical Treatment of Equational Proofs and Unification Algorithms

David Rydeheard
, John G Stell
, David H Pitt (Editor)
, Axel Poigné (Editor)
, David E Rydeheard (Editor)

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

Original language	English
Title of host publication	Category Theory and Computer Science
Editors	David H Pitt, Axel Poigné, David E Rydeheard
Publisher	Springer Nature
Pages	114-139
Number of pages	26
Volume	283
ISBN (Print)	3-540-18508-9
Publication status	Published - 1987
Event	Category Theory and Computer Science, Edinburgh, UK, September 7-9, 1987, Proceedings - Duration: 1 Jan 1824 → … http://dblp.uni-trier.de/db/conf/ctcs/ctcs1987.html#RydeheardS87http://dblp.uni-trier.de/rec/bibtex/conf/ctcs/RydeheardS87.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/ctcs/RydeheardS87

Publication series

Name	Lecture Notes in Computer Science

Conference

Conference	Category Theory and Computer Science, Edinburgh, UK, September 7-9, 1987, Proceedings
Period	1/01/24 → …
Internet address	http://dblp.uni-trier.de/db/conf/ctcs/ctcs1987.html#RydeheardS87http://dblp.uni-trier.de/rec/bibtex/conf/ctcs/RydeheardS87.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/ctcs/RydeheardS87

Access to Document

Cite this

Rydeheard, D., Stell, J. G., Pitt, D. H. (Ed.), Poigné, A. (Ed.), & Rydeheard, D. E. (Ed.) (1987). Foundations of Equational Deduction: A Categorical Treatment of Equational Proofs and Unification Algorithms. In D. H. Pitt, A. Poigné, & D. E. Rydeheard (Eds.), Category Theory and Computer Science (Vol. 283, pp. 114-139). (Lecture Notes in Computer Science). Springer Nature. http://dblp.uni-trier.de/db/conf/ctcs/ctcs1987.html#RydeheardS87

@inproceedings{f717fc22b2df4808ba98bf4aca8c49b4,

title = "Foundations of Equational Deduction: A Categorical Treatment of Equational Proofs and Unification Algorithms",

author = "David Rydeheard and Stell, \{John G\} and Pitt, \{David H\} and Axel Poign{\'e} and Rydeheard, \{David E\}",

year = "1987",

language = "English",

isbn = "3-540-18508-9",

volume = "283",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature",

pages = "114--139",

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

booktitle = "Category Theory and Computer Science",

address = "United States",

note = "Category Theory and Computer Science, Edinburgh, UK, September 7-9, 1987, Proceedings ; Conference date: 01-01-1824",

url = "http://dblp.uni-trier.de/db/conf/ctcs/ctcs1987.html\#RydeheardS87http://dblp.uni-trier.de/rec/bibtex/conf/ctcs/RydeheardS87.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/ctcs/RydeheardS87",

}

Rydeheard, D, Stell, JG, Pitt, DH (ed.), Poigné, A (ed.) & Rydeheard, DE (ed.) 1987, Foundations of Equational Deduction: A Categorical Treatment of Equational Proofs and Unification Algorithms. in DH Pitt, A Poigné & DE Rydeheard (eds), Category Theory and Computer Science. vol. 283, Lecture Notes in Computer Science, Springer Nature, pp. 114-139, Category Theory and Computer Science, Edinburgh, UK, September 7-9, 1987, Proceedings, 1/01/24. <http://dblp.uni-trier.de/db/conf/ctcs/ctcs1987.html#RydeheardS87>

Foundations of Equational Deduction: A Categorical Treatment of Equational Proofs and Unification Algorithms. / Rydeheard, David; Stell, John G; Pitt, David H (Editor) et al.
Category Theory and Computer Science. ed. / David H Pitt; Axel Poigné; David E Rydeheard. Vol. 283 Springer Nature, 1987. p. 114-139 (Lecture Notes in Computer Science).

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

TY - GEN

T1 - Foundations of Equational Deduction: A Categorical Treatment of Equational Proofs and Unification Algorithms

AU - Rydeheard, David

AU - Stell, John G

A2 - Pitt, David H

A2 - Poigné, Axel

A2 - Rydeheard, David E

A2 - Pitt, David H

A2 - Poigné, Axel

A2 - Rydeheard, David E

PY - 1987

Y1 - 1987

M3 - Conference contribution

SN - 3-540-18508-9

VL - 283

T3 - Lecture Notes in Computer Science

SP - 114

EP - 139

BT - Category Theory and Computer Science

PB - Springer Nature

T2 - Category Theory and Computer Science, Edinburgh, UK, September 7-9, 1987, Proceedings

Y2 - 1 January 1824

ER -