nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A Branching Time Logical System for Open Distributed Systems Development
|
Duarte, Carlos H.C. |
|
2002 |
67 |
C |
p. 184-203 20 p. |
artikel |
2 |
A Completeness Result for Relation Algebra with Binders
|
de Freitas, R.P. |
|
2002 |
67 |
C |
p. 204-217 14 p. |
artikel |
3 |
A logical approach to A-Prolog
|
Osorio, Mauricio |
|
2002 |
67 |
C |
p. 284-295 12 p. |
artikel |
4 |
A Logic for Ambiguous Description
|
Buchsbaum, Arthur |
|
2002 |
67 |
C |
p. 148-165 18 p. |
artikel |
5 |
Comparing Calculi of Explicit Substitutions with Eta-reduction 1 1 Partially supported by the Brazilian CNPq research council grant number 47488101-6.
|
Ayala-Rincón, Mauricio |
|
2002 |
67 |
C |
p. 76-95 20 p. |
artikel |
6 |
Computable Queries for Object Oriented Databases
|
Schewe, Klaus-Dieter |
|
2002 |
67 |
C |
p. 296-312 17 p. |
artikel |
7 |
Continuous Domains and their Information System Representation as Logical Systems
|
Bedregal, Benjamín René Callejas |
|
2002 |
67 |
C |
p. 96-115 20 p. |
artikel |
8 |
Deciding low levels of tree-automata hierarchy
|
Walukiewicz, Igor |
|
2002 |
67 |
C |
p. 61-75 15 p. |
artikel |
9 |
Definability in o-minimal expansions of the real numbers
|
Bianconi, Ricardo |
|
2002 |
67 |
C |
p. 1-6 6 p. |
artikel |
10 |
Dynamic Semantics of Plurals DPLQ ⊛
|
Ogata, Norihiro |
|
2002 |
67 |
C |
p. 263-283 21 p. |
artikel |
11 |
Model Checking Games
|
Grädel, Erich |
|
2002 |
67 |
C |
p. 15-34 20 p. |
artikel |
12 |
Non Truth-Functional Many-Valuedness
|
Béziau, Jean-Yves |
|
2002 |
67 |
C |
p. 116-130 15 p. |
artikel |
13 |
On automating the extraction of programs from proofs using product types
|
Kamareddine, Fairouz |
|
2002 |
67 |
C |
p. 233-253 21 p. |
artikel |
14 |
On sparseness and Turing reducibility over the reals
|
Cucker, Felipe |
|
2002 |
67 |
C |
p. 7-14 8 p. |
artikel |
15 |
Preface
|
de Queiroz, Ruy |
|
2002 |
67 |
C |
p. 313-314 2 p. |
artikel |
16 |
Rank-Based Symbolic Bisimulation
|
Dovier, A. |
|
2002 |
67 |
C |
p. 166-183 18 p. |
artikel |
17 |
Requirements, specifications, and minimal refinement
|
Gorogiannis, Nikos |
|
2002 |
67 |
C |
p. 218-232 15 p. |
artikel |
18 |
States of Knowledge
|
Parikh, Rohit |
|
2002 |
67 |
C |
p. 49-60 12 p. |
artikel |
19 |
Studying provability in implicational intuitionistic logic
|
Broda, Sabine |
|
2002 |
67 |
C |
p. 131-147 17 p. |
artikel |
20 |
The Logic of Risky Knowledge
|
Kyburg Jr, Henry E. |
|
2002 |
67 |
C |
p. 254-262 9 p. |
artikel |
21 |
The Suspension Notation for Lambda Terms and its Use in Metalanguage Implementations
|
Nadathur, Gopalan |
|
2002 |
67 |
C |
p. 35-48 14 p. |
artikel |