Volume 20; Issue 4

1

A coherence theorem for canonical morphisms in cartesian closed categories

Year:
1982
Language:
english
File:
PDF, 1.15 MB
english, 1982
2

A machine description and the hierarchy of initial Grzegorczyk classes

Year:
1982
Language:
english
File:
PDF, 641 KB
english, 1982
3

Time complexity of multidimensional Turing machines

Year:
1982
Language:
english
File:
PDF, 451 KB
english, 1982
4

Two reductions of graph isomorphism to problems on polynomials

Year:
1982
Language:
english
File:
PDF, 287 KB
english, 1982
5

Theorems on the time hierarchy for random access machines

Year:
1982
Language:
english
File:
PDF, 612 KB
english, 1982
6

Decision-procedures for invariant properties of short algorithms

Year:
1982
Language:
english
File:
PDF, 343 KB
english, 1982
7

Diophantine representation of perfect numbers

Year:
1982
Language:
english
File:
PDF, 398 KB
english, 1982
8

Calculi with monotone deductions and their economic interpretation

Year:
1982
Language:
english
File:
PDF, 885 KB
english, 1982
9

A new reduction sequence for arithmetic

Year:
1982
Language:
english
File:
PDF, 935 KB
english, 1982
10

Primitive recursive estimate of strong normalization for predicate calculus

Year:
1982
Language:
english
File:
PDF, 248 KB
english, 1982
11

Lower bounds for increasing complexity of derivations after cut elimination

Year:
1982
Language:
english
File:
PDF, 1.07 MB
english, 1982
12

Three ways of recognizing inessential formulas in sequents

Year:
1982
Language:
english
File:
PDF, 659 KB
english, 1982
13

Machine-independent description of certain machine complexity classes

Year:
1982
Language:
english
File:
PDF, 509 KB
english, 1982
14

Positive rudimentarity of the graphs of Ackermann and Grzegorczyk

Year:
1982
Language:
english
File:
PDF, 282 KB
english, 1982
15

Growth of length of sequential derivation transformed into natural one

Year:
1982
Language:
english
File:
PDF, 203 KB
english, 1982
16

Preservation of equivalence of derivations under reduction of depth of formulas

Year:
1982
Language:
english
File:
PDF, 548 KB
english, 1982
17

Representation of proofs by colored graphs and the hadwiger conjecture

Year:
1982
Language:
english
File:
PDF, 578 KB
english, 1982
18

Canonical recursive functions and operations

Year:
1982
Language:
english
File:
PDF, 1.00 MB
english, 1982