Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 
Articles by Topics
Topic F. - Theory of Computation
Topic F.1 - COMPUTATION BY ABSTRACT DEVICES

V. Bosserhoff:
On the Effective Existence of Schauder Bases
/jucs_15_6/on_the_effective_existence
page 1145 - 1161
Vol.15 / Issue 6
V. Brattka:
Some Notes on Fine Computability
/jucs_8_3/some_notes_on_fine
page 382 - 395
Vol.8 / Issue 3
C.S. Calude, A. Nies:
Chaitin Ω Numbers and Strong Reducibilities
/jucs_3_11/chaitin_omega_numbers_and
page 1162 - 1166
Vol.3 / Issue 11
C.S. Calude, I. Tomescu:
Optimum Extendible Prefix Codes
/jucs_3_11/optimum_extendible_prefix_codes
page 1167 - 1179
Vol.3 / Issue 11
G. Chaitin:
Algorithmic Irreducibility in a Cellular Automata Universe
/jucs_11_12/algorithmic_irreducibility_in_a
page 1901 - 1903
Vol.11 / Issue 12
G. Ciobanu, S. Rudeanu:
Equivalent Transformations of Automata by Using Behavioural Automata
/jucs_13_11/equivalent_transformations_of_automata
page 1540 - 1549
Vol.13 / Issue 11
V. Estivill-Castro, A. Heednacram, F. Suraweera:
NP-completeness and FPT Results for Rectilinear Covering Problems
/jucs_16_5/np_completeness_and_ftp
page 622 - 652
Vol.16 / Issue 5
C. Gaßner:
Oracles and Relativizations of the P =? NP Question for Several Structures
/jucs_15_6/oracles_and_relativizations_of
page 1186 - 1205
Vol.15 / Issue 6
C. Gaßner:
The Separation of Relativized Versions of P and DNP for the Ring of the Reals
/jucs_16_18/the_separation_of_relativized
page 2563 - 2568
Vol.16 / Issue 18
J. Goldstine, M. Kappes, C.M. Kintala, H. Leung, A. Malcher, D. Wotschke:
Descriptional Complexity of Machines with Limited Resources
/jucs_8_2/descriptional_complexity_of_machines
page 193 - 234
Vol.8 / Issue 2
S. Gupta:
Determinism, Nondeterminism, Alternation, and Counting
/jucs_7_9/determinism_nondeterminism_alternation_and
page 816 - 825
Vol.7 / Issue 9
R.S. Havea:
On Firmness of the State Space and Positive Elements of a Banach Algebra
/jucs_11_12/on_firmness_of_the
page 1963 - 1969
Vol.11 / Issue 12
E. Hemaspaandra:
On the Power of Positive Turing Reductions
/jucs_5_12/on_the_power_of
page 828 - 832
Vol.5 / Issue 12
L. A. Hemaspaandra, C. Nasipak, K. Parkins:
A Note on Linear-Nondeterminism, Linear-Sized, Karp-Lipton Advice for the P-Selective Sets
/jucs_4_8/a_note_on_linear
page 670 - 674
Vol.4 / Issue 8
P. Hertling, Y. Wang:
Invariance Properties of Random Sequences
/jucs_3_11/invariance_properties_of_random
page 1241 - 1249
Vol.3 / Issue 11
P. Hertling:
Surjective Functions on Computably Growing Cantor Sets
/jucs_3_11/surjective_functions_on_cmputably
page 1226 - 1240
Vol.3 / Issue 11
P. Hertling:
Nonrandom Sequences between Random Sequences
/jucs_11_12/nonrandom_sequences_between_random
page 1970 - 1985
Vol.11 / Issue 12
Z. Iljazović:
Isometries and Computability Structures
/jucs_16_18/isometries_and_computability_structures
page 2569 - 2596
Vol.16 / Issue 18
H. Ishihara, B. Khoussainov:
Effectiveness of the Completeness Theorem for an Intermediate Logic
/jucs_3_11/effectiveness_of_the_completeness
page 1255 - 1265
Vol.3 / Issue 11
M. Ito:
Shuffle Decomposition of Regular Languages
/jucs_8_2/shuffle_decomposition_of_regular
page 257 - 259
Vol.8 / Issue 2
L.A.B. Kowada, R. Portugal, C.M. Herrera de Figueiredo:
Reversible Karatsuba's Algorithm
/jucs_12_5/reversible_karatsubas_algorithm
page 499 - 511
Vol.12 / Issue 5
V. Leppänen:
Balanced PRAM Simulations via Moving Threads and Hashing
/jucs_4_8/balanced_pram_simulations_via
page 675 - 689
Vol.4 / Issue 8
S. Marcus:
Bridging Two Hierarchies of Infinite Words
/jucs_8_2/bridging_two_hierarchies_of
page 292 - 296
Vol.8 / Issue 2
M. Margenstern:
Tiling the Hyperbolic Plane with a Single Pentagonal Tile
/jucs_8_2/tiling_the_hyperbolic_plane
page 297 - 316
Vol.8 / Issue 2
M. Margenstern:
New Tools for Cellular Automata in the Hyperbolic Plane
/jucs_6_12/new_tools_for_cellular
page 1226 - 1252
Vol.6 / Issue 12
S. Reeves, D. Streader:
Constructing Programs or Processes
/jucs_11_12/constructing_programs_or_processes
page 2034 - 2045
Vol.11 / Issue 12
F. Richman:
Constructive Aspects of Markov Chains
/jucs_11_12/constructive_aspects_of_markov
page 2046 - 2055
Vol.11 / Issue 12
G. Sambin, G. Trentinaglia:
On the Meaning of Positivity Relations for Regular Formal Spaces
/jucs_11_12/on_the_meaning_of
page 2056 - 2062
Vol.11 / Issue 12
Y. Sato, T. Ikegami:
Nonlinear Computation with Switching Map Systems
/jucs_6_9/nonlinear_computation_with_switching
page 881 - 905
Vol.6 / Issue 9
P. Schuster:
What is Continuity, Constructively?
/jucs_11_12/what_is_continuity_constructively
page 2076 - 2085
Vol.11 / Issue 12
H. Schwichtenberg:
A Direct Proof of the Equivalence between Brouwer's Fan Theorem and König's Lemma with a Uniqueness Hypothesis
/jucs_11_12/a_direct_proof_of
page 2086 - 2095
Vol.11 / Issue 12
B. Spitters:
Constructive Results on Operator Algebras
/jucs_11_12/constructive_results_on_operator
page 2096 - 2113
Vol.11 / Issue 12
M.B. Vleju:
Automatic Authentication to Cloud-Based Services
/jucs_20_3/automatic_authentication_to_cloud
page 385 - 405
Vol.20 / Issue 3
K. Weihrauch, T. Grubba:
Elementary Computable Topology
/jucs_15_6/elementary_computable_topology
page 1381 - 1422
Vol.15 / Issue 6