Deduction with many-sorted rewrite

著者

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

書誌事項

Deduction with many-sorted rewrite

by José Meseguer and Joseph A. Goguen

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

Center for the Study of Language and Information, 1985

注記

"December 1985"

Bibliography: p. 11-12

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

詳細情報

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