Algebraic and logic programming : International Workshop, Gaussig, GDR, November 14-18, 1988 : proceedings

>> Google Books

所蔵情報QRコード

Algebraic and logic programming : International Workshop, Gaussig, GDR, November 14-18, 1988 : proceedings / J. Grabowski, P. Lescanne, W. Wechler (eds.)

資料種別:

図書

出版情報:

Berlin ; Tokyo : Springer-Verlag, c1988

形態:

278 p. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 343 <BA00009279>

著者名:

ISBN:

9783540506676 [3540506675] (: gw)
9780387506678 [0387506675] (: us)

書誌ID:

BA07089968

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:

Includes bibliographical references

主題:

Algebraic logic--Congresses; Logic programming--Congresses

言語:

英語

目次情報:

Contents: Invited papers:J.A. Bergstra: ACP with signals / L. Fribourg:

Functional extensions to Prolog: are they needed? / E. Giovanetti:

Narrowing and resolution in logic-functional programming languages. / H. Hussmann:

Nondeterministic algebraic specifications and nonconfluent term rewriting. / J-P. Jouannaud ; C. Kirchner ; H. Kirchner ; A. MFgrelis:

OBJ: Programming with equalities, subsorts, overloading and parameterization. / G. Smolka:

Logic programming with polymorphically order-sorted types.

And 20 submitted papers.

Contents: Invited papers:J.A. Bergstra: ACP with signals / L. Fribourg:

Functional extensions to Prolog: are they needed? / E. Giovanetti:

Narrowing and resolution in logic-functional programming languages. / H. Hussmann:

Nondeterministic algebraic specifications and nonconfluent term rewriting. / J-P. Jouannaud ; C. Kirchner ; H. Kirchner ; A. MFgrelis:

OBJ: Programming with equalities, subsorts, overloading and parameterization. / G. Smolka:

Logic programming with polymorphically order-sorted types.

続きを見る

東工大ブックレビュー

類似資料:

1 電子ブック Algebraic and Logic Programming : International Workshop, Gaussig, GDR, November 14-18, 1988. Proceedings Grabowski, Jan., Lescanne, Pierre., Wechler, Wolfgang., SpringerLink (Online service)	7 図書 Algebraic and logic programming : 6th International Joint Conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings Hanus, Michael, Heering, J, Meinke, K. (Karl), International Conference on Algebraic and Logic Programming, … Springer-Verlag
2 図書 Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings (: gw ; : us) International Conference on Algebraic and Logic Programming, Kirchner, Hélène, Wechler, Wolfgang, 1940- Springer-Verlag	8 図書 Programming languages implementation and logic programming : International Workshop PLILP '88, Orléans, France, May 16-18, 1988 : proceedings (: gw ; : us) International Workshop PLILP, Deransart, Pierre, 1945-, Lorho, Bernard, Małuszyński, Jan, 1941- Springer-Verlag
3 電子ブック Algebraic and Logic Programming Grabowski, Lescanne, Pierre, Wechler, Wolfgang SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	9 図書 Programming language implementation and logic programming : International Workshop PLILP '90, Linköping, Sweden, August 20-22, 1990 : proceedings (: gw ; : us) International Workshop PLILP, Deransart, Pierre, 1945-, Małuszyński, Jan, 1941- Springer-Verlag
4 図書 Algebraic and logic programming : 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings International Conference on Algebraic and Logic Programming, Levi, Giorgio, 1942-, Rodríguez Artalejo, M. (Mario) Springer-Verlag	10 図書 Algebraic logic and universal algebra in computer science : conference, Ames, Iowa, USA, June 1-4, 1988, proceedings (: gw ; : us) Algebraic Logic and Universal Algebra in Computer Science Conference, Bergman, Clifford H., 1953-, Maddux, Roger D., … Springer-Verlag
5 図書 Algebraic and logic programming : 5th International Conference, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings International Conference on Algebraic and Logic Programming, Hanus, Michael, Rodríguez Artalejo, M. (Mario) Springer	11 図書 Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings (: gw ; : us) JELIA, Eijck, J. van (Jan) Springer-Verlag
6 図書 Algebraic and logic programming : Third International Conference, Volterra, Italy, September 2-4, 1992 : proceedings (: gw ; : us) Kirchner, Hélène, Levi, Giorgio, 1942-, International Conference on Algebraic and Logic Programming Springer-Verlag	12 図書 Logic programming '88 : proceedings of the 7th conference, Tokyo, Japan, April 11-14, 1988 (: gw ; : us) Logic Programming Conference, 古川, 康一(1942-), 田中, 穂積(1941-), 藤崎, 哲之助 Springer-Verlag