Volume 67; Issue none

1

Definability in o-minimal expansions of the real numbers

Year:
2002
Language:
english
File:
PDF, 439 KB
english, 2002
2

On sparseness and Turing reducibility over the reals

Year:
2002
Language:
english
File:
PDF, 517 KB
english, 2002
4

Deciding low levels of tree-automata hierarchy

Year:
2002
Language:
english
File:
PDF, 942 KB
english, 2002
6

Non Truth-Functional Many-Valuedness

Year:
2002
Language:
english
File:
PDF, 779 KB
english, 2002
9

Requirements, specifications, and minimal refinement

Year:
2002
Language:
english
File:
PDF, 890 KB
english, 2002
10

The Logic of Risky Knowledge

Year:
2002
Language:
english
File:
PDF, 535 KB
english, 2002
11

Dynamic Semantics of Plurals DPLQ⊛

Year:
2002
Language:
english
File:
PDF, 1.32 MB
english, 2002
12

A logical approach to A-Prolog

Year:
2002
Language:
english
File:
PDF, 758 KB
english, 2002
14

Preface: Volume 67

Year:
2002
Language:
english
File:
PDF, 63 KB
english, 2002
15

Model Checking Games

Year:
2002
Language:
english
File:
PDF, 1.27 MB
english, 2002
16

States of Knowledge

Year:
2002
Language:
english
File:
PDF, 744 KB
english, 2002
18

A Logic for Ambiguous Description

Year:
2002
Language:
english
File:
PDF, 1008 KB
english, 2002
20

A Completeness Result for Relation Algebra with Binders

Year:
2002
Language:
english
File:
PDF, 847 KB
english, 2002