Completeness of many-sorted equational logic

Author(s)

• Goguen, Joseph
• Meseguer, José
• Stanford University. Center for the Study of Language and Information

Bibliographic Information

Completeness of many-sorted equational logic

by J.A. Goguen and J. Meseguer

（Report (Center for the Study of Language and Information (U.S.)), no. CSLI-84-15）

Center for the Study of Language and Information, 1984

Note

"September 1984"

Bibliography: p. 25-28

***記述は遡及データによる

Details

• NCID: BA51225963
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Stanford, Calif.
• Pages/Volumes: 28 p.
• Size: 28 cm
• Parent Bibliography ID:
  • BA10949995