Home Advanced Search

Advanced Search - Page 1

Rewriting Techniques and Applications: 7th International Conference, RTA-96 New Brunswick, NJ, USA, July 27–30, 1996 Proceedings
  • PDF
  • English
  • Year: 1996
  • Author: Deepak Kapur (auth.), Harald Ganzinger (eds.)
Automated Deduction — Cade-13: 13th International Conference on Automated Deduction New Brunswick, NJ, USA, July 30 – August 3, 1996 Proceedings
  • PDF
  • English
  • Year: 1996
  • Author: Harald Ganzinger (auth.), M. A. McRobbie, J. K. Slaney (eds.)
Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings
  • DJVU
  • English
  • Year: 1995
  • Author: Leo Bachmair, Harald Ganzinger (auth.), Nachum Dershowitz, Naomi Lindenstrauss (eds.)
Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings
  • PDF
  • English
  • Year: 1995
  • Author: Leo Bachmair, Harald Ganzinger (auth.), Nachum Dershowitz, Naomi Lindenstrauss (eds.)
9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23–26, 1988 Proceedings
  • PDF
  • English
  • Year: 1988
  • Author: Hantao Zhang, Deepak Kapur (auth.), Ewing Lusk, Ross Overbeek (eds.)
Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 – June 3, 1994 Selected Papers
  • DJVU
  • English
  • Year: 1995
  • Author: Leo Bachmair, Harald Ganzinger, Jürgen Stuber (auth.), Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki (eds.)
Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 – June 3, 1994 Selected Papers
  • PDF
  • English
  • Year: 1995
  • Author: Leo Bachmair, Harald Ganzinger, Jürgen Stuber (auth.), Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki (eds.)
Computers and Mathematics
  • PDF
  • English
  • Year: 1989
  • Author: Deepak Kapur, Klaus Madlener (auth.), Erich Kaltofen, Stephen M. Watt (eds.)
Programming Logics: Essays in Memory of Harald Ganzinger
  • PDF
  • English
  • Year: 2013
  • Author: Deepak Kapur, Robert Nieuwenhuis, Andrei Voronkov (auth.), Andrei Voronkov, Christoph Weidenbach (eds.)
Computer Mathematics: 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers
  • PDF
  • English
  • Year: 2008
  • Author: Hyeong In Choi, Rida T. Farouki, Chang Yong Han, Hwan Pyo Moon (auth.), Deepak Kapur (eds.)
search