Home Advanced Search

Advanced Search - Page 1

Rewriting Techniques and Applications: 9th International Conference, RTA-98 Tsukuba, Japan, March 30 – April 1, 1998 Proceedings
  • DJVU
  • English
  • Year: 1998
  • Author: J. W. Klop (auth.), Tobias Nipkow (eds.)
Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95 Aarhus, Denmark, May 19–20, 1995 Selected Papers
  • DJVU
  • English
  • Year: 1995
  • Author: Olaf Müller, Tobias Nipkow (auth.), E. Brinksma, W. R. Cleaveland, K. G. Larsen, T. Margaria, B. Steffen (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.)
Concrete Semantics: With Isabelle/HOL
  • PDF
  • English
  • Year: 2014
  • Author: Tobias Nipkow, Gerwin Klein (auth.)
Algebra of Communicating Processes: Proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, The Netherlands, 16–17 May 1994
  • PDF
  • English
  • Year: 1995
  • Author: J. A. Bergstra, J. W. Klop (auth.), A. Ponse PhD, C. Verhoef PhD, S. F. M. van Vlijmen Drs. (eds.)
Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA'93 Amsterdam, The Netherlands, September 23–24, 1993 Selected Papers
  • DJVU
  • English
  • Year: 1994
  • Author: Andrea Asperti, Cosimo Laneve (auth.), Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow (eds.)
Concrete Semantics with Isabelle/HOL
  • PDF
  • English
  • Year: 2017
  • Author: Tobias Nipkow, Gerwin Klein
Term Rewriting and All That
  • DJVU
  • English
  • Year: 1998
  • Author: Franz Baader, Tobias Nipkow
Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95 Paderborn, Germany, September 21–22, 1995 Selected Papers
  • DJVU
  • English
  • Year: 1996
  • Author: Jan Willem Klop (auth.), Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller (eds.)
Bacterial Invasion into Eukaryotic Cells: Subcellular Biochemistry
  • PDF
  • English
  • Year: 2000
  • Author: Tobias A. Oelschlaeger, Dennis J. Kopecko (auth.), Tobias A. Oelschlaeger, Jörg Hacker (eds.)
search