Home Advanced Search

Advanced Search - Page 1

ESOP '90: 3rd European Symposium on Programming Copenhagen, Denmark, May 15–18, 1990 Proceedings
  • DJVU
  • English
  • Year: 1990
  • Author: Henk Barendregt, Kees Hemerik (auth.), Neil Jones (eds.)
Mathematics, Computer Science and Logic - A Never Ending Story: The Bruno Buchberger Festschrift
  • PDF
  • English
  • Year: 2013
  • Author: Henk Barendregt (auth.), Peter Paule (eds.)
Rewriting Techniques and Applications: 12th International Conference, RTA 2001 Utrecht, The Netherlands, May 22–24, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Henk Barendregt (auth.), Aart Middeldorp (eds.)
Types for Proofs and Programs: International Workshop TYPES'93 Nijmegen, The Netherlands, May 24–28, 1993 Selected Papers
  • DJVU
  • English
  • Year: 1994
  • Author: Henk Barendregt, Tobias Nipkow (eds.)
Lambda Calculus with Types
  • PDF
  • English
  • Year: 2013
  • Author: Henk Barendregt, Wil Dekkers, Richard Statman
Huygens and Hofwijck: The Inventive World of Constantijn and Christiaan Huygens
  • PDF
  • English
  • Year: 2022
  • Author: Kees Leer; Henk Boers
Model Income Tax Treaties
  • PDF
  • English
  • Year: 1983
  • Author: Kees van Raad (auth.), Kees van Raad (eds.)
Popular Music in Southeast Asia: Banal Beats, Muted Histories
  • PDF
  • English
  • Year: 2017
  • Author: Bart Barendregt; Peter Keppy; Henk Schulte Nordholt
Rewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Neil D. Jones, Nina Bohr (auth.), Vincent van Oostrom (eds.)
Logic, Language and Computation: Festschrift in Honor of Satoru Takasu
  • DJVU
  • English
  • Year: 1994
  • Author: Susumu Hayashi, Yukihide Takayama (auth.), Neil D. Jones, Masami Hagiya, Masahiko Sato (eds.)
search