|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
15 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Abstract Families of Abstract Categorial Languages |
Kanazawa, Makoto |
2006 |
165 | C |
p. 65-80 16 p. |
artikel |
|
| 2 | Additive Consolidation with Maximal Change |
Suzuki, Yoshitaka |
2006 |
165 | C |
p. 177-187 11 p. |
artikel |
|
| 3 | A Logical Uniform Boundedness Principle for Abstract Metric and Hyperbolic Spaces |
Kohlenbach, Ulrich |
2006 |
165 | C |
p. 81-93 13 p. |
artikel |
|
| 4 | Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision |
Baltag, Alexandru |
2006 |
165 | C |
p. 5-21 17 p. |
artikel |
|
| 5 | Formalizing Type Operations Using the “Image” Type Constructor |
Nogin, Aleksey |
2006 |
165 | C |
p. 121-132 12 p. |
artikel |
|
| 6 | Monadic Second-Order Logic and Transitive Closure Logics over Trees |
Tiede, Hans-Jörg |
2006 |
165 | C |
p. 189-199 11 p. |
artikel |
|
| 7 | On Interpolation Problem in Paraconsistent Extensions of the Minimal Logic |
Maksimova, Larisa |
2006 |
165 | C |
p. 107-119 13 p. |
artikel |
|
| 8 | Preface |
Mints, Grigori |
2006 |
165 | C |
p. 1-3 3 p. |
artikel |
|
| 9 | Proof Mining in R -trees and Hyperbolic Spaces |
Leuştean, Laurenţiu |
2006 |
165 | C |
p. 95-106 12 p. |
artikel |
|
| 10 | Propositional Games with Explicit Strategies |
Renne, Bryan |
2006 |
165 | C |
p. 133-144 12 p. |
artikel |
|
| 11 | Reasoning with Graphs |
de Freitas, Renata P. |
2006 |
165 | C |
p. 201-212 12 p. |
artikel |
|
| 12 | Relating State-Based and Process-Based Concurrency through Linear Logic |
Cervesato, Iliano |
2006 |
165 | C |
p. 145-176 32 p. |
artikel |
|
| 13 | Situations as Strings |
Fernando, Tim |
2006 |
165 | C |
p. 23-36 14 p. |
artikel |
|
| 14 | The Axiom System IΣ0 Manages to Simultaneously Obey and Evade the Herbrandized Version of the Second Incompleteness Theorem |
Willard, Dan E. |
2006 |
165 | C |
p. 213-226 14 p. |
artikel |
|
| 15 | Towards Hilbert's 24th Problem: Combinatorial Proof Invariants |
Hughes, Dominic J.D. |
2006 |
165 | C |
p. 37-63 27 p. |
artikel |
15 gevonden resultaten