In this issue

Papers published: 14

Total pages: 158

Printed version: Paperback

Unique views: 4500

Total views: 5415

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: 314 | Total: 370  | 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: 368 | Total: 438  | 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: 358 | Total: 476  | 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: 293 | Total: 340  | 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: 304 | Total: 345  | 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: 323 | Total: 410  | 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: 361 | Total: 440  | 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: 366 | Total: 442  | 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: 300 | Total: 346  | 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: 286 | Total: 343  | 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: 279 | Total: 329  | 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: 311 | Total: 364  | 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: 315 | Total: 370  | 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: 322 | Total: 402  | Access Period:
 1266-1281
HTML
XML
PDF

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

OK