System description of LAMBDALG - A higher order algebraic specification language

Yexuan Gui, Mitsuhiro Okada

研究成果: Conference contribution

本文言語English
ホスト出版物のタイトルLogic Programming and Automated Reasoning - 4th International Conference, LPAR 1993, Proceedings
編集者Andrei Voronkov
出版社Springer Verlag
ページ354-356
ページ数3
ISBN(印刷版)9783540569442
DOI
出版ステータスPublished - 1993
イベント4th International Conference on Logic Programming and Automated Reasoning, LPAR 1993 - St. Petersburg, Russian Federation
継続期間: 1993 7月 131993 7月 20

出版物シリーズ

名前Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
698 LNAI
ISSN(印刷版)0302-9743
ISSN(電子版)1611-3349

Conference

Conference4th International Conference on Logic Programming and Automated Reasoning, LPAR 1993
国/地域Russian Federation
CitySt. Petersburg
Period93/7/1393/7/20

ASJC Scopus subject areas

  • 理論的コンピュータサイエンス
  • コンピュータ サイエンス(全般)

引用スタイル