A. Bauer, J. Blanck:
Canonical Effective Subalgebras of Classical Algebras as Constructive Metric Completions
/jucs_16_18/canonical_effective_subalgebras_of

page 2496 - 2522
Vol.16 / Issue 18

J. Berger, D.S. Bridges:
Rearranging Series Constructively
/jucs_15_17/rearranging_series_constructively

page 3160 - 3168
Vol.15 / Issue 17

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

D.S. Bridges, R.S. Havea:
Constructive Notions of Maximality for Ideals
/jucs_14_22/constructive_notions_of_maximality

page 3648 - 3657
Vol.14 / Issue 22

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

H. Diener, P. Schuster:
On Choice Principles and Fan Theorems
/jucs_16_18/on_choice_principles_and

page 2556 - 2562
Vol.16 / Issue 18

Z. Iljazović:
Chainable and Circularly Chainable Co-r.e. Sets in Computable Metric Spaces
/jucs_15_6/chainable_and_circularly_chainable

page 1206 - 1235
Vol.15 / Issue 6

Z. Iljazović:
Isometries and Computability Structures
/jucs_16_18/isometries_and_computability_structures

page 2569 - 2596
Vol.16 / Issue 18

M. Konečný, A. Farjudian:
Compositional Semantics of Dataflow Networks with Query-Driven Communication of Exact Values
/jucs_16_18/compositional_semantics_of_dataflow

page 2629 - 2656
Vol.16 / Issue 18

M. Konečný, A. Farjudian:
Semantics of Query-Driven Communication of Exact Values
/jucs_16_18/semantics_of_query_driven

page 2597 - 2628
Vol.16 / Issue 18

D. Lešnik:
Constructive Urysohn Universal Metric Space
/jucs_15_6/constructive_urysohn_universal_metric

page 1236 - 1263
Vol.15 / Issue 6

I. Petrakis:
The Contrapositive of Countable Choice for Inhabited Sets of Naturals
/jucs_18_20/the_contrapositive_of_countable

page 2879 - 2892
Vol.18 / Issue 20

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

K. Weihrauch, T. Grubba:
Elementary Computable Topology
/jucs_15_6/elementary_computable_topology

page 1381 - 1422
Vol.15 / Issue 6

K. Weihrauch:
Computable Separation in Topology, from T₀ to T₂
/jucs_16_18/computable_separation_in_topology

page 2733 - 2753
Vol.16 / Issue 18

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