Home Advanced Search

Advanced Search - Page 1

Mathematical Methods of Specification and Synthesis of Software Systems '85: Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22–26, 1985
  • DJVU
  • English
  • Year: 1986
  • Author: J. A. Bergstra, J. W. Klop (auth.), Wolfgang Bibel, Klaus P. Jantke (eds.)
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.)
Algebraic and Logic Programming: International Workshop Gaussig, GDR, November 14–18, 1988 Proceedings
  • PDF
  • English
  • Year: 1988
  • Author: J. A. Bergstra (auth.), J. Grabowski, P. Lescanne, W. Wechler (eds.)
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.)
CONCUR '90 Theories of Concurrency: Unification and Extension: Amsterdam, The Netherlands, August 27–30, 1990 Proceedings
  • DJVU
  • English
  • Year: 1990
  • Author: Eike Best (auth.), J. C. M. Baeten, J. W. Klop (eds.)
Algebraic Methods II: Theory, Tools and Applications
  • DJVU
  • English
  • Year: 1991
  • Author: N. W. P. van Diepen, H. A. Partsch (auth.), J. A. Bergstra, L. M. G. Feijs (eds.)
Analogical and Inductive Inference: International Workshop All '86 Wendisch-Rietz, GDR, October 6–10, 1986 Proceedings
  • PDF
  • English
  • Year: 1987
  • Author: Robert P. Daley (auth.), Klaus P. Jantke (eds.)
Analogical and Inductive Inference: International Workshop All '86 Wendisch-Rietz, GDR, October 6–10, 1986 Proceedings
  • DJVU
  • English
  • Year: 1987
  • Author: Robert P. Daley (auth.), Klaus P. Jantke (eds.)
Rewriting Techniques and Applications: 4th International Conference, RTA-91 Como, Italy, April 10–12, 1991 Proceedings
  • DJVU
  • English
  • Year: 1991
  • Author: J. R. Kennaway, J. W. Klop, M. R. Sleep (auth.), Ronald V. Book (eds.)
Discovery Science: 4th International Conference, DS 2001 Washington, DC, USA, November 25–28, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Setsuo Arikawa (auth.), Klaus P. Jantke, Ayumi Shinohara (eds.)
search