Volume 83; Issue 3

Annals of Pure and Applied Logic

Volume 83; Issue 3

1

Term rewriting theory for the primitive recursive functions

E.A. Cichon, A. Weiermann

Journal:

Annals of Pure and Applied Logic

Year:

1997

Language:

english

File:

PDF, 1.35 MB

english, 1997

2

Domain representability of metric spaces

Journal:

Annals of Pure and Applied Logic

Year:

1997

Language:

english

File:

PDF, 1.40 MB

english, 1997

3

Interpolants, cut elimination and flow graphs for the propositional calculus

Journal:

Annals of Pure and Applied Logic

Year:

1997

Language:

english

File:

PDF, 3.47 MB

english, 1997

4

Author index

Journal:

Annals of Pure and Applied Logic

Year:

1997

File:

PDF, 32 KB

1997