Home Advanced Search

Advanced Search - Page 1

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.)
Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings
  • PDF
  • English
  • Year: 1998
  • Author: Randal E. Bryant (auth.), Bernhard Steffen (eds.)
Computer Aided Verification: 7th International Conference, CAV '95 Liège, Belgium, July 3–5, 1995 Proceedings
  • DJVU
  • English
  • Year: 1995
  • Author: Randal E. Bryant (auth.), Pierre Wolper (eds.)
The Best of ICCAD: 20 Years of Excellence in Computer-Aided Design
  • PDF
  • English
  • Year: 2003
  • Author: Randal E. Bryant, James H. Kukula (auth.), Andreas Kuehlmann (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.)
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.)
Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Shuvendu K. Lahiri, Randal E. Bryant, Amit Goel, Muralidhar Talupur (auth.), Kurt Jensen, Andreas Podelski (eds.)
search