Home Advanced Search

Advanced Search - Page 1

Algebraic and Logic Programming: 5th International Conference, ALP'96 Aachen, Germany, September 25–27, 1996 Proceedings
  • DJVU
  • English
  • Year: 1996
  • Author: Ilies Alouini, Claude Kirchner (auth.), Michael Hanus, Mario Rodríguez-Artalejo (eds.)
Automata, Languages and Programming: 18th International Colloquium Madrid, Spain, July 8–12, 1991 Proceedings
  • DJVU
  • English
  • Year: 1991
  • Author: Maurizio Gabbrielli, Giorgio Levi (auth.), Javier Leach Albert, Burkhard Monien, Mario Rodríguez Artalejo (eds.)
Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: John Hughes (auth.), Michael Hanus (eds.)
Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: John Hughes (auth.), Michael Hanus (eds.)
Rewriting Techniques and Applications: 5th International Conference, RTA-93 Montreal, Canada, June 16–18, 1993 Proceedings
  • PDF
  • English
  • Year: 1993
  • Author: Claude Kirchner (eds.)
Rewriting Techniques and Applications: 5th International Conference, RTA-93 Montreal, Canada, June 16–18, 1993 Proceedings
  • DJVU
  • English
  • Year: 1993
  • Author: Claude Kirchner (eds.)
Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday
  • PDF
  • English
  • Year: 2007
  • Author: Nachum Dershowitz, Georg Moser (auth.), Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner (eds.)
Problemlösen mit PROLOG
  • DJVU
  • German
  • Year: 1987
  • Author: Hanus, Michael
Programming Language Implementation and Logic Programming: International Workshop PLILP '90 Linköping, Sweden, August 20–22, 1990 Proceedings
  • DJVU
  • English
  • Year: 1990
  • Author: Claude Kirchner, Patrick Viry (auth.), Pierre Deransart, Jan Maluszyński (eds.)
Functional and Constraint Logic Programming: 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck (auth.), Herbert Kuchen (eds.)
search