D. S. Bridges, W. Yuchuan:
Constructive Aspects of the Dirichlet Problem
/jucs_3_11/constructive_aspects_of_the

page 1148 - 1161
Vol.3 / Issue 11

E. Börger:
The Origins and the Development of the ASM Method for High Level System Design and Analysis
/jucs_8_1/the_origins_and_the

page 2 - 74
Vol.8 / Issue 1

D. Skordev:
On the Subrecursive Computability of Several Famous Constants
/jucs_14_6/on_the_subrecursive_computability

page 861 - 875
Vol.14 / Issue 6

W. Veldman:
Perhaps the Intermediate Value Theorem
/jucs_11_12/perhaps_the_intermediate_value

page 2142 - 2158
Vol.11 / Issue 12

F. Zamora Wilke, B.R.T. Franciosi, P.W. Werlang Oliveira, D. Moraes Claudio:
Modelling the Measurement Uncertainty by Intervals
/jucs_4_1/modelling_the_measurement_uncertainty

page 82 - 88
Vol.4 / Issue 1

M. Yasugi, Y. Tsujii, T. Mori:
Sequential Computability of a Function. Effective Fine Space and Limiting Recursion
/jucs_11_12/sequential_computability_of_a

page 2179 - 2191
Vol.11 / Issue 12