Completeness of many-sorted equational logic

著者

• Goguen, Joseph
• Meseguer, José
• Stanford University. Center for the Study of Language and 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

注記

"September 1984"

Bibliography: p. 25-28

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

詳細情報

• NII書誌ID(NCID): BA51225963
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Stanford, Calif.
• ページ数/冊数: 28 p.
• 大きさ: 28 cm
• 親書誌ID:
  • BA10949995