System description of LAMBDALG - A higher order algebraic specification language

Yexuan Gui; Mitsuhiro Okada

doi:10.1007/3-540-56944-8_69

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	https://doi.org/10.1007/3-540-56944-8_69
出版ステータス	Published - 1993
イベント	4th International Conference on Logic Programming and Automated Reasoning, LPAR 1993 - St. Petersburg, Russian Federation 継続期間: 1993 7月 13 → 1993 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

Conference	4th International Conference on Logic Programming and Automated Reasoning, LPAR 1993
国/地域	Russian Federation
City	St. Petersburg
Period	93/7/13 → 93/7/20

ASJC Scopus subject areas

理論的コンピュータサイエンス
コンピュータサイエンス（全般）

文献へのアクセス

10.1007/3-540-56944-8_69

他のファイルとリンク

引用スタイル

Gui, Y., & Okada, M. (1993). System description of LAMBDALG - A higher order algebraic specification language. In A. Voronkov (Ed.), Logic Programming and Automated Reasoning - 4th International Conference, LPAR 1993, Proceedings (pp. 354-356). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 698 LNAI). Springer Verlag. https://doi.org/10.1007/3-540-56944-8_69

System description of LAMBDALG - A higher order algebraic specification language. / Gui, Yexuan; Okada, Mitsuhiro.

Logic Programming and Automated Reasoning - 4th International Conference, LPAR 1993, Proceedings. ed. / Andrei Voronkov. Springer Verlag, 1993. p. 354-356 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 698 LNAI).

研究成果: Conference contribution

Gui, Y & Okada, M 1993, System description of LAMBDALG - A higher order algebraic specification language. in A Voronkov (ed.), Logic Programming and Automated Reasoning - 4th International Conference, LPAR 1993, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 698 LNAI, Springer Verlag, pp. 354-356, 4th International Conference on Logic Programming and Automated Reasoning, LPAR 1993, St. Petersburg, Russian Federation, 93/7/13. https://doi.org/10.1007/3-540-56944-8_69

Gui Y, Okada M. System description of LAMBDALG - A higher order algebraic specification language. In Voronkov A, editor, Logic Programming and Automated Reasoning - 4th International Conference, LPAR 1993, Proceedings. Springer Verlag. 1993. p. 354-356. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/3-540-56944-8_69

Gui, Yexuan ; Okada, Mitsuhiro. / System description of LAMBDALG - A higher order algebraic specification language. Logic Programming and Automated Reasoning - 4th International Conference, LPAR 1993, Proceedings. editor / Andrei Voronkov. Springer Verlag, 1993. pp. 354-356 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{67d9d85222b249c391d81a7f5c669b24,

title = "System description of LAMBDALG - A higher order algebraic specification language",

author = "Yexuan Gui and Mitsuhiro Okada",

year = "1993",

doi = "10.1007/3-540-56944-8_69",

language = "English",

isbn = "9783540569442",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "354--356",

editor = "Andrei Voronkov",

booktitle = "Logic Programming and Automated Reasoning - 4th International Conference, LPAR 1993, Proceedings",

note = "4th International Conference on Logic Programming and Automated Reasoning, LPAR 1993 ; Conference date: 13-07-1993 Through 20-07-1993",

}

TY - GEN

T1 - System description of LAMBDALG - A higher order algebraic specification language

AU - Gui, Yexuan

AU - Okada, Mitsuhiro

PY - 1993

Y1 - 1993

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

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

U2 - 10.1007/3-540-56944-8_69

DO - 10.1007/3-540-56944-8_69

M3 - Conference contribution

AN - SCOPUS:85028916990

SN - 9783540569442

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 354

EP - 356

BT - Logic Programming and Automated Reasoning - 4th International Conference, LPAR 1993, Proceedings

A2 - Voronkov, Andrei

PB - Springer Verlag

T2 - 4th International Conference on Logic Programming and Automated Reasoning, LPAR 1993

Y2 - 13 July 1993 through 20 July 1993

ER -