In this issue

Papers published: 14

Total pages: 158

Printed version: Paperback

open access

Go to issue

« Previous
Issue 3(11)
 Next »
Issue No
from 0 to 29
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: 90 | Total: 105  | 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: 118 | Total: 150  | 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: 117 | Total: 207  | 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: 97 | Total: 123  | 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: 87 | Total: 105  | 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: 91 | Total: 110  | 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: 95 | Total: 112  | 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: 107 | Total: 156  | 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: 90 | Total: 110  | 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: 89 | Total: 109  | 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: 90 | Total: 113  | 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: 90 | Total: 115  | 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: 88 | Total: 102  | 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: 90 | Total: 145  | Access Period:
 1266-1281
HTML
XML
PDF

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

OK