In this issue

Papers published: 14

Total pages: 158

Printed version: Paperback

Unique views: 4633

Total views: 5578

open access

Go to issue

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

Download
Editorial
Logic in Computer Science
Douglas Bridges,     Cristian S. Calude, Michael Dinneen, Bakhadyr Khoussainov
10.3217/jucs-003-11
 28-11-1997
 Unique: 323 | Total: 382  | Access Period:
 1133-1133
HTML
XML
PDF
Research Article
Persistency of Confluence
Takahito Aoto, Yoshihito Toyama
10.3217/jucs-003-11-1134
 28-11-1997
 Unique: 374 | Total: 446  | Access Period:
 1134-1147
HTML
XML
PDF
Research Article
Constructive Aspects of the Dirichlet Problem
Douglas Bridges, Wang Yuchuan
10.3217/jucs-003-11-1148
 28-11-1997
 Unique: 370 | Total: 488  | Access Period:
 1148-1161
HTML
XML
PDF
Research Article
Chaitin Ω Numbers and Strong Reducibilities
    Cristian S. Calude, André Nies
10.3217/jucs-003-11-1162
 28-11-1997
 Unique: 302 | Total: 351  | Access Period:
 1162-1166
HTML
XML
PDF
Research Article
Optimum Extendible Prefix Codes
Cristian Calude, Ioan Tomescu
10.3217/jucs-003-11-1167
 28-11-1997
 Unique: 310 | Total: 354  | Access Period:
 1167-1179
HTML
XML
PDF
Research Article
Minimal Deterministic Incomplete Automata
Elena Calude, Mario Lipponen
10.3217/jucs-003-11-1180
 28-11-1997
 Unique: 331 | Total: 420  | Access Period:
 1180-1193
HTML
XML
PDF
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: 392 | Total: 474  | Access Period:
 1194-1198
HTML
XML
PDF
Research Article
Too Many Minor Order Obstructions (For Parameterized Lower Ideals)
Michael Dinneen
10.3217/jucs-003-11-1199
 28-11-1997
 Unique: 375 | Total: 452  | Access Period:
 1199-1206
HTML
XML
PDF
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: 304 | Total: 355  | Access Period:
 1207-1225
HTML
XML
PDF
Research Article
Surjective Functions on Computably Growing Cantor Sets
Peter Hertling
10.3217/jucs-003-11-1226
 28-11-1997
 Unique: 296 | Total: 354  | Access Period:
 1226-1240
HTML
XML
PDF
Research Article
Invariance Properties of Random Sequences
Peter Hertling, Yongge Wang
10.3217/jucs-003-11-1241
 28-11-1997
 Unique: 285 | Total: 335  | Access Period:
 1241-1249
HTML
XML
PDF
Research Article
Sequential Continuity of Linear Mappings in Constructive Mathematics
Hajime Ishihara
10.3217/jucs-003-11-1250
 28-11-1997
 Unique: 318 | Total: 373  | Access Period:
 1250-1254
HTML
XML
PDF
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: 323 | Total: 381  | Access Period:
 1255-1265
HTML
XML
PDF
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: 330 | Total: 413  | Access Period:
 1266-1281
HTML
XML
PDF

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

OK