Reflections on a Scientific Journal, pages 1-4

Authors: G. Ciobanu

Abstract | BibTeX | Full Text (PDF)

A Survey of Testing for Instruction Sequence Theory, pages 5-86

Authors: J. A. Bergstra

Abstract | References | BibTeX | Full Text (PDF)

Which Arithmetical Data Types Admit Fracterm Flattening?, pages 87-107

Authors: J.A. Bergstra, J.V. Tucker

Abstract | References | BibTeX | Full Text (PDF)

Fixed Parameter Algorithms and Hardness of Approximation Results for the Structural Target Controllability Problem, pages 109-136

Authors: E. Czeizler, A. Popa, V. Popescu

Abstract | References | BibTeX | Full Text (PDF)

Imperative Process Algebra with Abstraction, pages 137-179

Authors: C.A. Middelburg

Abstract | References | BibTeX | Full Text (PDF)