Home Advanced Search

Advanced Search - Page 1

Typed Lambda Calculi and Applications: 8th International Conference,TLCA 2007, Paris, France,June 26-28, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Frank Pfenning (auth.), Simona Ronchi Della Rocca (eds.)
Theoretical Computer Science: 7th Italian Conference, ICTCS 2001 Torino, Italy, October 4–6, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Antonio Restivo, Simona Ronchi Della Rocca, Luca Roversi (auth.)
The Parametric Lambda Calculus: A Metamodel for Computation
  • PDF
  • English
  • Year: 2004
  • Author: Simona Ronchi Della Rocca, Luca Paolini
Automata, Languages and Programming: 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings
  • DJVU
  • English
  • Year: 1989
  • Author: Martín Abadi, Leslie Lamport, Pierre Wolper (auth.), Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simonetta Ronchi Della Rocca (eds.)
Automata, Languages and Programming: 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings
  • PDF
  • English
  • Year: 1989
  • Author: Martín Abadi, Leslie Lamport, Pierre Wolper (auth.), Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simonetta Ronchi Della Rocca (eds.)
Term Rewriting and Applications: 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Randal E. Bryant (auth.), Frank Pfenning (eds.)
Term Rewriting and Applications: 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Randal E. Bryant (auth.), Frank Pfenning (eds.)
Foundations of Software Science and Computation Structures: 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Jonathan Hayman, Tobias Heindel (auth.), Frank Pfenning (eds.)
Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94 Kiev, Ukraine, July 16–22, 1994 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: Amy Felty, Douglas Howe (auth.), Frank Pfenning (eds.)
Automated Deduction — CADE-15: 15th International Conference on Automated Deduction Lindau, Germany, July 5–10, 1998 Proceedings
  • PDF
  • English
  • Year: 1998
  • Author: Frank Pfenning (auth.), Claude Kirchner, Hélène Kirchner (eds.)
search