Volume 84; Issue 1

Annals of Pure and Applied Logic

Volume 84; Issue 1
1

Advice classes of parameterized tractability

Liming Cai, Jianer Chen, Rodney G. Downey, Michael R. Fellows
Journal:
Annals of Pure and Applied Logic
Year:
1997
Language:
english
File:
PDF, 1.51 MB
english, 1997
2

The self-embedding theorem of WKL0 and a non-standard method

Kazuyuki Tanaka
Journal:
Annals of Pure and Applied Logic
Year:
1997
Language:
english
File:
PDF, 658 KB
english, 1997
3

Characterizing language identification in terms of computable numberings

Sanjay Jain, Arun Sharma
Journal:
Annals of Pure and Applied Logic
Year:
1997
Language:
english
File:
PDF, 1.56 MB
english, 1997
4

Automorphisms in the PTIME-Turing degrees of recursive sets

Christine Ann Haught, Theodore A. Slaman
Journal:
Annals of Pure and Applied Logic
Year:
1997
Language:
english
File:
PDF, 1.05 MB
english, 1997
5

Strong polynomial-time reducibility

Juichi Shinoda
Journal:
Annals of Pure and Applied Logic
Year:
1997
Language:
english
File:
PDF, 1.38 MB
english, 1997
6

An alternative linear semantics for allowed logic programs

John Jeavons
Journal:
Annals of Pure and Applied Logic
Year:
1997
Language:
english
File:
PDF, 1.02 MB
english, 1997
7

Preface

C.T. Chong, Y.C. Tay
Journal:
Annals of Pure and Applied Logic
Year:
1997
File:
PDF, 38 KB
1997
9

Contraction-elimination for implicational logics

Ryo Kashima
Journal:
Annals of Pure and Applied Logic
Year:
1997
Language:
english
File:
PDF, 1.38 MB
english, 1997
10

Editorial Board

Journal:
Annals of Pure and Applied Logic
Year:
1997
Language:
english
File:
PDF, 77 KB
english, 1997