Volume XXXII, Issue 1, 2022

Reflections on a Scientific Journal, pages 1-4

Authors: G. Ciobanu

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

Authors: J. A. Bergstra

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

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

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

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

Imperative Process Algebra with Abstraction, pages 137-179

Authors: C.A. Middelburg