Remarks on Remarks on Many-Sorted Equational Logic

Joseph A. Goguen; José Meseguer

doi:10.1145/24714.24719

Remarks on Remarks on Many-Sorted Equational Logic

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

Original language	English (US)
Pages (from-to)	41-48
Number of pages	8
Journal	ACM SIGPLAN Notices
Volume	22
Issue number	4
DOIs	https://doi.org/10.1145/24714.24719
State	Published - Apr 1 1987
Externally published	Yes

ASJC Scopus subject areas

Software
Computer Graphics and Computer-Aided Design

Online availability

10.1145/24714.24719

Library availability

Discover UIUC Full Text

Cite this

@article{496b7c6ca4084d0ab029e9f0fc6c1d04,

title = "Remarks on Remarks on Many-Sorted Equational Logic",

author = "Goguen, {Joseph A.} and Jos{\'e} Meseguer",

year = "1987",

month = apr,

day = "1",

doi = "10.1145/24714.24719",

language = "English (US)",

volume = "22",

pages = "41--48",

journal = "ACM SIGPLAN Notices",

issn = "0362-1340",

publisher = "Association for Computing Machinery",

number = "4",

}

TY - JOUR

T1 - Remarks on Remarks on Many-Sorted Equational Logic

AU - Goguen, Joseph A.

AU - Meseguer, José

PY - 1987/4/1

Y1 - 1987/4/1

UR - http://www.scopus.com/inward/record.url?scp=84976750808&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84976750808&partnerID=8YFLogxK

U2 - 10.1145/24714.24719

DO - 10.1145/24714.24719

M3 - Article

AN - SCOPUS:84976750808

SN - 0362-1340

VL - 22

SP - 41

EP - 48

JO - ACM SIGPLAN Notices

JF - ACM SIGPLAN Notices

IS - 4

ER -

Remarks on Remarks on Many-Sorted Equational Logic

ASJC Scopus subject areas

Online availability

Library availability

Related links

Cite this