Volume 7; Issue 4

1

The Resolution Calculus, Alexander Leitsch

Year:
1998
Language:
english
File:
PDF, 31 KB
english, 1998
2

Labelled Deductive Systems, Volume 1, Dov M. Gabbay

Year:
1998
Language:
english
File:
PDF, 45 KB
english, 1998
3

Introduction

Year:
1998
Language:
english
File:
PDF, 24 KB
english, 1998
4

Categorial Inference and Modal Logic

Year:
1998
Language:
english
File:
PDF, 97 KB
english, 1998
5

A New Correctness Criterion for Cyclic Proof Nets

Year:
1998
Language:
english
File:
PDF, 81 KB
english, 1998
6

Proof Nets and the Complexity of Processing Center Embedded Constructions

Year:
1998
Language:
english
File:
PDF, 67 KB
english, 1998
7

Syntactic Calculus with Dependent Types

Year:
1998
Language:
english
File:
PDF, 92 KB
english, 1998
8

Group Theory and Computational Linguistics

Year:
1998
Language:
english
File:
PDF, 244 KB
english, 1998
9

Index of Authors of Volume 7

Year:
1998
File:
PDF, 7 KB
1998
10

Call for Papers

Year:
1998
Language:
english
File:
PDF, 11 KB
english, 1998
11

Instructions for Authors

Year:
1998
Language:
english
File:
PDF, 21 KB
english, 1998
12

Contents of Volume 7

Year:
1998
Language:
english
File:
PDF, 12 KB
english, 1998