System description of LAMBDALG - A higher order algebraic specification language

Yexuan Gui, Mitsuhiro Okada

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationLogic Programming and Automated Reasoning - 4th International Conference, LPAR 1993, Proceedings
EditorsAndrei Voronkov
PublisherSpringer Verlag
Pages354-356
Number of pages3
ISBN (Print)9783540569442
Publication statusPublished - 1993 Jan 1
Externally publishedYes
Event4th International Conference on Logic Programming and Automated Reasoning, LPAR 1993 - St. Petersburg, Russian Federation
Duration: 1993 Jul 131993 Jul 20

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume698 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

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

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

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.

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).

Research output: Chapter in Book/Report/Conference proceedingConference 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.
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)).
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",
month = "1",
day = "1",
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",
address = "Germany",

}

TY - GEN

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

AU - Gui, Yexuan

AU - Okada, Mitsuhiro

PY - 1993/1/1

Y1 - 1993/1/1

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

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

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

ER -