Volume 143; Issue none

1

A Quantified Logic of Evidence

Year:
2006
Language:
english
File:
PDF, 256 KB
english, 2006
2

Approximations of Modal Logic K

Year:
2006
Language:
english
File:
PDF, 258 KB
english, 2006
3

Locality of Queries and Transformations

Year:
2006
Language:
english
File:
PDF, 257 KB
english, 2006
4

System BV is NP-complete

Year:
2006
Language:
english
File:
PDF, 259 KB
english, 2006
6

Nonstandard Meromorphic Groups

Year:
2006
Language:
english
File:
PDF, 235 KB
english, 2006
7

The Complexity of Random Ordered Structures

Year:
2006
Language:
english
File:
PDF, 225 KB
english, 2006
8

Preface

Year:
2006
Language:
english
File:
PDF, 93 KB
english, 2006
10

Development Separation in Lambda-Calculus

Year:
2006
Language:
english
File:
PDF, 268 KB
english, 2006
14

Lowness Properties and Approximations of the Jump

Year:
2006
Language:
english
File:
PDF, 271 KB
english, 2006
15

Tableau Systems for Some Paraconsistent Modal Logics

Year:
2006
Language:
english
File:
PDF, 263 KB
english, 2006
16

Probabilistic Verification and Approximation

Year:
2006
Language:
english
File:
PDF, 245 KB
english, 2006
17

Cut Elimination for a Simple Formulation of PAε

Year:
2006
Language:
english
File:
PDF, 199 KB
english, 2006