|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
21 results found
| no | title | author | magazine | year | volume | issue | page(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. |
article |
|
| 2 | A Completeness Result for Relation Algebra with Binders |
de Freitas, R.P. |
2002 |
67 | C |
p. 204-217 14 p. |
article |
|
| 3 | A logical approach to A-Prolog |
Osorio, Mauricio |
2002 |
67 | C |
p. 284-295 12 p. |
article |
|
| 4 | A Logic for Ambiguous Description |
Buchsbaum, Arthur |
2002 |
67 | C |
p. 148-165 18 p. |
article |
|
| 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. |
article |
|
| 6 | Computable Queries for Object Oriented Databases |
Schewe, Klaus-Dieter |
2002 |
67 | C |
p. 296-312 17 p. |
article |
|
| 7 | Continuous Domains and their Information System Representation as Logical Systems |
Bedregal, Benjamín René Callejas |
2002 |
67 | C |
p. 96-115 20 p. |
article |
|
| 8 | Deciding low levels of tree-automata hierarchy |
Walukiewicz, Igor |
2002 |
67 | C |
p. 61-75 15 p. |
article |
|
| 9 | Definability in o-minimal expansions of the real numbers |
Bianconi, Ricardo |
2002 |
67 | C |
p. 1-6 6 p. |
article |
|
| 10 | Dynamic Semantics of Plurals DPLQ ⊛ |
Ogata, Norihiro |
2002 |
67 | C |
p. 263-283 21 p. |
article |
|
| 11 | Model Checking Games |
Grädel, Erich |
2002 |
67 | C |
p. 15-34 20 p. |
article |
|
| 12 | Non Truth-Functional Many-Valuedness |
Béziau, Jean-Yves |
2002 |
67 | C |
p. 116-130 15 p. |
article |
|
| 13 | On automating the extraction of programs from proofs using product types |
Kamareddine, Fairouz |
2002 |
67 | C |
p. 233-253 21 p. |
article |
|
| 14 | On sparseness and Turing reducibility over the reals |
Cucker, Felipe |
2002 |
67 | C |
p. 7-14 8 p. |
article |
|
| 15 | Preface |
de Queiroz, Ruy |
2002 |
67 | C |
p. 313-314 2 p. |
article |
|
| 16 | Rank-Based Symbolic Bisimulation |
Dovier, A. |
2002 |
67 | C |
p. 166-183 18 p. |
article |
|
| 17 | Requirements, specifications, and minimal refinement |
Gorogiannis, Nikos |
2002 |
67 | C |
p. 218-232 15 p. |
article |
|
| 18 | States of Knowledge |
Parikh, Rohit |
2002 |
67 | C |
p. 49-60 12 p. |
article |
|
| 19 | Studying provability in implicational intuitionistic logic |
Broda, Sabine |
2002 |
67 | C |
p. 131-147 17 p. |
article |
|
| 20 | The Logic of Risky Knowledge |
Kyburg Jr, Henry E. |
2002 |
67 | C |
p. 254-262 9 p. |
article |
|
| 21 | The Suspension Notation for Lambda Terms and its Use in Metalanguage Implementations |
Nadathur, Gopalan |
2002 |
67 | C |
p. 35-48 14 p. |
article |
21 results found