In this issue

Papers published: 14

Total pages: 158

Unique views: 7542

Total views: 9291

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: 527 | Total: 634  | 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: 568 | Total: 684  | 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: 571 | Total: 754  | 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: 504 | Total: 597  | 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: 508 | Total: 602  | 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: 529 | Total: 665  | 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: 610 | Total: 766  | 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: 607 | Total: 746  | 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: 555 | Total: 676  | 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: 498 | Total: 610  | 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: 484 | Total: 584  | 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: 516 | Total: 650  | 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: 524 | Total: 644  | 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: 541 | Total: 679  | Access Period:
 1266-1281
HTML
XML
PDF

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

OK