Volume 147, Numbers 1&2, 7 August 1995
Marius Zimand:
On the Topological Size of p-m-Complete Degrees. 137-147
Gerhard Schurz:
Most General First Order Theorems are not Recursively Enumerable. 149-163
Edoardo Amaldi,
Viggo Kann:
The Complexity and Approximability of Finding Maximum Feasible Subsystems of Linear Relations. 181-210
Didier Arquès,
Olivier Grange:
A Fast Scan-Line Algorithm For Topological Filling Of Well-Nested Objects in 2.5D Digital Pictures. 211-248