Marius Zimand On the Topological Size of p-m-Complete Degrees. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1995, v:147, n:1&2, pp:137-147 [Journal]
Gerhard Schurz Most General First Order Theorems are not Recursively Enumerable. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1995, v:147, n:1&2, pp:149-163 [Journal]
Edoardo Amaldi, Viggo Kann The Complexity and Approximability of Finding Maximum Feasible Subsystems of Linear Relations. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1995, v:147, n:1&2, pp:181-210 [Journal]
Didier Arquès, Olivier Grange A Fast Scan-Line Algorithm For Topological Filling Of Well-Nested Objects in 2.5D Digital Pictures. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1995, v:147, n:1&2, pp:211-248 [Journal]