Volume 16; Issue 1

1

Ordinals I: Basic notions

Year:
1996
Language:
english
File:
PDF, 1.05 MB
english, 1996
2

Ordinals II: Some applications and a functorial approach

Year:
1996
Language:
english
File:
PDF, 1.11 MB
english, 1996
3

Formal power series

Year:
1996
Language:
english
File:
PDF, 702 KB
english, 1996
4

Polynomial time uniformization and non-standard methods

Year:
1996
Language:
english
File:
PDF, 534 KB
english, 1996
6

Some artefacts of integer-computed circles

Year:
1996
Language:
english
File:
PDF, 1.77 MB
english, 1996
7

Sorting, linear time and the satisfiability problem

Year:
1996
Language:
english
File:
PDF, 2.63 MB
english, 1996
8

Exact complexity of problems of incompletely specified automata

Year:
1996
Language:
english
File:
PDF, 662 KB
english, 1996
10

Computations on one-dimensional cellular automata

Year:
1996
Language:
english
File:
PDF, 2.71 MB
english, 1996
11

Definability, decidability, complexity

Year:
1996
Language:
english
File:
PDF, 1.56 MB
english, 1996
12

Logic, semigroups and automata on words

Year:
1996
Language:
english
File:
PDF, 1.90 MB
english, 1996
13

A unary representation result for systemT

Year:
1996
Language:
english
File:
PDF, 712 KB
english, 1996
14

About classical logic and imperative programming

Year:
1996
Language:
english
File:
PDF, 500 KB
english, 1996