Paper: Order-Sorted Algebra solves the Constructor-Selector, Multiple (at LICS 1987)
Authors: Joseph A. Goguen José MeseguerAbstract
No Abstract Available
BibTeX
@InProceedings{GoguenMeseguer-OrderSortedAlgebras, author = {Joseph A. Goguen and José Meseguer}, title = {Order-Sorted Algebra solves the Constructor-Selector, Multiple}, booktitle = {Proceedings of the Second Annual IEEE Symp. on Logic in Computer Science, {LICS} 1987}, year = 1987, editor = {David Gries}, month = {June}, pages = {18--29}, location = {Ithaca, NY, USA}, publisher = {IEEE Computer Society Press} }