メインコンテンツに移動

Types for proofs and programs : International Workshop, TYPES '99, Lökeberg, Sweden, June 12-16, 1999 : selected papers

書誌情報を取り込む
フォーマット
  • 図書
責任表示
Thierry Coquand ... [et al.] (eds.)
出版情報
  • Berlin ; New York : Springer , c2000
形態
  • 193 p.  :  ill.  ;  24 cm
ISBN
  • 9783540415176 [3540415173]
シリーズ名
著者名
書誌ID
  • BA49939876
注記
  • Includes bibliographies and index
E-Resources
Loading...
Loading...
Loading...
言語
  • 英語
分類・件名
  • LCC:QA76.9.A96
  • DCC:005.13/1
  • LCSH:Automatic theorem proving--Congresses
  • LCSH:Computer programming--Congresses
  • LCSH:Type theory--Congresses
主題
図書

Types for proofs and programs : International Workshop TYPES '94, Båstad, Sweden, June 6-10, 1994 : selected papers

International Workshop on TYPES Dybjer, Peter Nordström, Bengt Smith, Jan M
Springer-Verlag, c1995
図書

Types for proofs and programs : International Workshop TYPES '95, Torino, Italy, June 5-8, 1995 : selected papers

International Workshop on TYPES Berardi, Stefano Coppo, Mario
Springer, c1996
図書

Types for proofs and programs : International Workshop TYPES '96, Aussois, France, December 15-19, 1996 : selected papers

International Workshop on TYPES Giménez, Eduardo, 1967- Paulin-Mohring, Christine, 1962-
Springer, c1998
図書

Types for proofs and programs : International Workshop TYPES '98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers

International Workshop on TYPES Altenkirch, Thorsten, 1962- Naraschewski, Wolfgang, 1970- Reus, Bernhard, 1965-
Springer, c1999
図書

Types for proofs and programs : International Workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers

International Workshop on TYPES Barendregt, H. P. (Hendrik Pieter), 1947- Nipkow, Tobias, 1958-
Springer-Verlag, c1994
図書

Logic-based program synthesis and transformation : 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 : selected papers

International Workshop on Logic Program Synthesis and Transformation Bossi, Annalisa, 1948-
Springer, c2000
図書

Implementation of functional languages : 11th International Workshop, IFL'99, Lochem, the Netherlands, September 7-10, 1999 : selected papers

International Workshop on the Implementation of Functional Languages Koopman, Pieter Clack, Chris
Springer, c2000
図書

Meta-programming in logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings

International Workshop, META Pettorossi, A. (Alberto), 1947-
Springer-Verlag, c1992
図書

Logic-based program synthesis and transformation : 8th international workshop, LOPSTR '98, Manchester, UK, June 15-19, 1998 : selected papers

International Workshop on Logic-Based Program Synthesis and Transformation Flener, Pierre, 1964-
Springer, c1999
図書

Logic based program synthesis and transformation : 10th International Workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers

International Workshop on Logic Program Synthesis and Transformation Lau, K.-K. (Kung-Kiu), 1953-
Springer, c2001
図書

Implementation of functional languages : 8th International Workshop, IFL '96 Bad Godesberg, Germany, September 16-18, 1996 : selected papers

International Workshop on the Implementation of Functional Languages Kluge, Werner
Springer, c1997
図書

Graph-theoretic concepts in computer science : 25th International Workshop, WG '99, Ascona, Switzerland, June 17-19, 1999 : proceedings

International Workshop on Graph-Theoretic Concepts in Computer Science Widmayer, Peter Neyer, Gabriele Eidenbenz, Stephan
Springer, c1999
図書

Implementation of functional languages : 12th International Workshop, IFL 2000, Aachen, Germany, September 4-7, 2000 : selected papers

International Workshop on the Implementation of Functional Languages Mohnen, Markus, 1967- Koopman, Pieter
Springer, c2001
図書

Implementation of functional languages : 9th International Workshop, IFL '97 St. Andrews, Scotland, UK, September 10-12, 1997 : selected papers

International Workshop on the Implementation of Functional Languages Clack, Chris Hammond, Kevin Davie, A. J. T. (Antony J. T.), 1939-
Springer, c1998
図書

Logic program synthesis and transformation : 6th International Workshop, LOPSTR '96, Stockholm, Sweden, August 28-30, 1996 : proceedings

International Workshop on Logic Program Synthesis and Transformation Gallagher, John P.
Springer, c1997
図書

Programming languages implementation and logic programming : International Workshop PLILP '88, Orléans, France, May 16-18, 1988 : proceedings

International Workshop PLILP Deransart, Pierre, 1945- Lorho, Bernard Małuszyński, Jan, 1941-
Springer-Verlag, c1989
図書

Partial evaluation : International Seminar, Dagstuhl Castle, Germany, February 12-16, 1996 : selected papers

Partial Evaluation International Seminar Danvy, Olivier Glück, R. (Robert), 1961- Thiemann, P. (Peter), 1964-
Springer, c1996
図書

Implementation of functional languages : 10th International Workshop, IFL '98, London, UK, September 9-11, 1998 : selected papers

International Workshop on the Implementation of Functional Languages Hammond, Kevin Davie, A. J. T. (Antony J. T.), 1939- Clack, Chris
Springer, c1999
図書

Agent mediated electronic commerce : First International Workshop on Agent Mediated Electronic Trading, AMET-98, Minneapolis, MN, USA, May 10th, 1998 : selected papers

International Workshop on Agent-Mediated Electronic Trading Noriega, Pablo, 1953- Sierra, Carles, 1963- International Conference on Autonomous Agents
Springer, c1999
図書

Graph-theoretic concepts in computer science : 27th International Workshop, WG 2001, Boltenhagen, Germany, June 14-16, 2001 : proceedings

International Workshop on Graph-Theoretic Concepts in Computer Science Brandstädt, Andreas, 1949- Le, Van Bang
Springer, c2001