Volume 69; Issue 2-3

Annals of Pure and Applied Logic

Volume 69; Issue 2-3

1

Preface

Andre Scedrov (Philadelphia)

Journal:

Annals of Pure and Applied Logic

Year:

1994

File:

PDF, 25 KB

1994

2

Third order matching is decidable

Journal:

Annals of Pure and Applied Logic

Year:

1994

Language:

english

File:

PDF, 1.42 MB

english, 1994

3

Zero-one laws for modal logic

Joseph Y Halpern, Bruce Kapron

Journal:

Annals of Pure and Applied Logic

Year:

1994

Language:

english

File:

PDF, 3.00 MB

english, 1994

4

The complexity of Horn fragments of Linear Logic

Max I. Kanovich

Journal:

Annals of Pure and Applied Logic

Year:

1994

Language:

english

File:

PDF, 2.48 MB

english, 1994

5

Progress measures, immediate determinacy, and a subset construction for tree automata

Journal:

Annals of Pure and Applied Logic

Year:

1994

Language:

english

File:

PDF, 1.84 MB

english, 1994

6

A constructive logic behind the catch and throw mechanism

Journal:

Annals of Pure and Applied Logic

Year:

1994

Language:

english

File:

PDF, 1.77 MB

english, 1994

7

Author Index

Journal:

Annals of Pure and Applied Logic

Year:

1994

Language:

english

File:

PDF, 40 KB

english, 1994