In this issue

Papers published: 14

Total pages: 158

Unique views: 8260

Total views: 10339

open access

Go to issue

« Previous
Issue 3(11)
 Next »
Issue No
from 0 to 31
Number No
JUCS - Journal of Universal Computer Science 3(11) (1997)
Sort by:
Select:   All   None
Download:
Citation
XML
PDF
Export format

Download
Logic ...
Editorial
Logic in Computer Science
Douglas Bridges,     Cristian S. Calude, Michael Dinneen, Bakhadyr Khoussainov
10.3217/jucs-003-11
 28-11-1997
 Unique: 569 | Total: 692  | Access Period:
 1133-1133
HTML
XML
PDF
Persistency ...
Research Article
Persistency of Confluence
Takahito Aoto, Yoshihito Toyama
10.3217/jucs-003-11-1134
 28-11-1997
 Unique: 675 | Total: 822  | Access Period:
 1134-1147
HTML
XML
PDF
Constructive ...
Research Article
Constructive Aspects of the Dirichlet Problem
Douglas Bridges, Wang Yuchuan
10.3217/jucs-003-11-1148
 28-11-1997
 Unique: 611 | Total: 822  | Access Period:
 1148-1161
HTML
XML
PDF
Chaitin ...
Research Article
Chaitin Ω Numbers and Strong Reducibilities
    Cristian S. Calude, André Nies
10.3217/jucs-003-11-1162
 28-11-1997
 Unique: 533 | Total: 641  | Access Period:
 1162-1166
HTML
XML
PDF
Optimum ...
Research Article
Optimum Extendible Prefix Codes
Cristian Calude, Ioan Tomescu
10.3217/jucs-003-11-1167
 28-11-1997
 Unique: 550 | Total: 658  | Access Period:
 1167-1179
HTML
XML
PDF
Minimal ...
Research Article
Minimal Deterministic Incomplete Automata
Elena Calude, Mario Lipponen
10.3217/jucs-003-11-1180
 28-11-1997
 Unique: 554 | Total: 709  | Access Period:
 1180-1193
HTML
XML
PDF
A ...
Research Article
A Note on the Computability of Graph Minor Obstruction Sets for Monadic Second Order Ideals
Bruno Courcelle, Rodney Downey, Michael Fellows
10.3217/jucs-003-11-1194
 28-11-1997
 Unique: 650 | Total: 824  | Access Period:
 1194-1198
HTML
XML
PDF
Too ...
Research Article
Too Many Minor Order Obstructions (For Parameterized Lower Ideals)
Michael Dinneen
10.3217/jucs-003-11-1199
 28-11-1997
 Unique: 653 | Total: 823  | Access Period:
 1199-1206
HTML
XML
PDF
Representing ...
Research Article
Representing Variable-Length Codes in Fixed-Length T-Depletion Format in Encoders and Decoders
Ulrich Günther, Peter Hertling, Radu Nicolescu, Mark Titchener
10.3217/jucs-003-11-1207
 28-11-1997
 Unique: 617 | Total: 765  | Access Period:
 1207-1225
HTML
XML
PDF
Surjective ...
Research Article
Surjective Functions on Computably Growing Cantor Sets
Peter Hertling
10.3217/jucs-003-11-1226
 28-11-1997
 Unique: 540 | Total: 672  | Access Period:
 1226-1240
HTML
XML
PDF
Invariance ...
Research Article
Invariance Properties of Random Sequences
Peter Hertling, Yongge Wang
10.3217/jucs-003-11-1241
 28-11-1997
 Unique: 533 | Total: 657  | Access Period:
 1241-1249
HTML
XML
PDF
Sequential ...
Research Article
Sequential Continuity of Linear Mappings in Constructive Mathematics
Hajime Ishihara
10.3217/jucs-003-11-1250
 28-11-1997
 Unique: 632 | Total: 806  | Access Period:
 1250-1254
HTML
XML
PDF
Effectiveness ...
Research Article
Effectiveness of the Completeness Theorem for an Intermediate Logic
Hajime Ishihara, Bakhadyr Khoussainov
10.3217/jucs-003-11-1255
 28-11-1997
 Unique: 563 | Total: 703  | Access Period:
 1255-1265
HTML
XML
PDF
Imperfect ...
Research Article
Imperfect Information Flow of Agents Communication in Arrow Logic
Yoshihiko Murakawa, Satoshi Tojo
10.3217/jucs-003-11-1266
 28-11-1997
 Unique: 580 | Total: 745  | Access Period:
 1266-1281
HTML
XML
PDF

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK