The workshop Computer Science Logic '90 was held at the Max-Planck-Haus in Heidelberg, Germany, October 1-5, 1990. It was the fourth in a series of worskhops, following CSL '89 at the University of Kaiserslautern (see LNCS 440), CSL '88...

This volume presents the proceedings of the workshop CSL '91 (Computer Science Logic) held at the University of Berne, Switzerland, October 7-11, 1991. This was the fifth in a series of annual workshops on computer sciencelogic (the...

This state-of-the-art survey gives a systematic presentation of recent advances in the design and validation of computer architectures. The book covers a comprehensive range of architecture design and validation methods, from computer...

In "Zur Philosophie der mathematischen Erkenntnis" untersucht Egon Börger die philosophischen Grundlagen und Implikationen der Mathematik. Das Buch ist eine detaillierte Studie über die Natur und den Ursprung mathematischer Wahrheiten,...

"Java and the Java Virtual Machine: Definition, Verification, Validation" von Egon Börger bietet eine umfassende Analyse der Java-Programmiersprache und ihrer virtuellen Maschine (JVM). Das Buch legt einen besonderen Fokus auf die...

This volume contains 37 invited research papers collected in memory of Dieter Rödding, who is known for his work on the classification of recursive functions, on reduction classes, on the spectrum problem and on the complexity of...