|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
17 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Analytical Tableaux for da Costa's Hierarchy of Paraconsistent Logics |
D'Ottaviano, Itala M. Loffredo |
2006 |
143 | C |
p. 27-44 18 p. |
artikel |
|
| 2 | An Equivalence between Dependencies in Nested Databases and a Fragment of Propositional Logic |
Hartmann, Sven |
2006 |
143 | C |
p. 73-85 13 p. |
artikel |
|
| 3 | Approximations of Modal Logic K |
de Souza Rabello, Guilherme |
2006 |
143 | C |
p. 171-184 14 p. |
artikel |
|
| 4 | A Quantified Logic of Evidence |
Fitting, Melvin |
2006 |
143 | C |
p. 59-71 13 p. |
artikel |
|
| 5 | Choiceless Polynomial Time, Counting and the Cai–Fürer–Immerman Graphs |
Dawar, Anuj |
2006 |
143 | C |
p. 13-26 14 p. |
artikel |
|
| 6 | Cut Elimination for a Simple Formulation of PAϵ |
Mints, Grigori |
2006 |
143 | C |
p. 159-169 11 p. |
artikel |
|
| 7 | Development Separation in Lambda-Calculus |
Xi, Hongwei |
2006 |
143 | C |
p. 207-221 15 p. |
artikel |
|
| 8 | Locality of Queries and Transformations |
Libkin, Leonid |
2006 |
143 | C |
p. 115-127 13 p. |
artikel |
|
| 9 | Lowness Properties and Approximations of the Jump |
Figueira, Santiago |
2006 |
143 | C |
p. 45-57 13 p. |
artikel |
|
| 10 | Natural Deduction for Full S5 Modal Logic with Weak Normalization |
Martins, Ana Teresa |
2006 |
143 | C |
p. 129-140 12 p. |
artikel |
|
| 11 | Nonstandard Meromorphic Groups |
Scanlon, Thomas |
2006 |
143 | C |
p. 185-196 12 p. |
artikel |
|
| 12 | Preface |
de Queiroz, Ruy |
2006 |
143 | C |
p. 1-4 4 p. |
artikel |
|
| 13 | Probabilistic Verification and Approximation |
Lassaigne, Richard |
2006 |
143 | C |
p. 101-114 14 p. |
artikel |
|
| 14 | Propositional Logic as a Propositional Fuzzy Logic |
Bedregal, Benjamín René Callejas |
2006 |
143 | C |
p. 5-12 8 p. |
artikel |
|
| 15 | System BV is NP-complete |
Kahramanoğulları, Ozan |
2006 |
143 | C |
p. 87-99 13 p. |
artikel |
|
| 16 | Tableau Systems for Some Paraconsistent Modal Logics |
McGinnis, Casey |
2006 |
143 | C |
p. 141-157 17 p. |
artikel |
|
| 17 | The Complexity of Random Ordered Structures |
Spencer, Joel H. |
2006 |
143 | C |
p. 197-206 10 p. |
artikel |
17 gevonden resultaten