dblp.uni-trier.de www.uni-trier.de

6. ALP / 3. HOA 1997: Southampton, U.K.

Michael Hanus, Jan Heering, Karl Meinke (Eds.): Algebraic and Logic Programming, 6th International Joint Conference, ALP '97 - HOA '97, Southampton, U.K., Spetember 3-5, 1997, Proceedings. Lecture Notes in Computer Science 1298 Springer 1997, ISBN 3-540-63459-2 BibTeX
@proceedings{DBLP:conf/alp/1997,
  editor    = {Michael Hanus and
               Jan Heering and
               Karl Meinke},
  title     = {Algebraic and Logic Programming, 6th International Joint Conference,
               ALP '97 - HOA '97, Southampton, U.K., Spetember 3-5, 1997, Proceedings},
  booktitle = {ALP/HOA},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1298},
  year      = {1997},
  isbn      = {3-540-63459-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Functional and Logic Programming

Higher-Order Methods

Term Rewriting

Types

Lambda-Calculus

Theorem Proving Methods

Copyright © Sat May 16 22:57:35 2009 by Michael Ley (ley@uni-trier.de)