|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
16 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Abstract Conditions for the Confluence of Explicit Substitution Calculi |
Râştei, Amelia |
2005 |
123 | C |
p. 213-228 16 p. |
artikel |
|
| 2 | A Modal Logic for π-Calculus and Model Checking Algorithm |
Chen, Taolue |
2005 |
123 | C |
p. 19-33 15 p. |
artikel |
|
| 3 | A Natural Deduction System for Keisler's Quantification |
Rentería, Christian Jacques |
2005 |
123 | C |
p. 229-240 12 p. |
artikel |
|
| 4 | Composition Theorems for Generalized Sum and Recursively Defined Types |
Rabinovich, Alexander |
2005 |
123 | C |
p. 209-211 3 p. |
artikel |
|
| 5 | Deciding Nondeterministic Hierarchy of Deterministic Tree Automata |
Niwiński, Damian |
2005 |
123 | C |
p. 195-208 14 p. |
artikel |
|
| 6 | Default Theories Over Monadic Languages |
Kaminski, Michael |
2005 |
123 | C |
p. 139-149 11 p. |
artikel |
|
| 7 | Differential Interaction Nets |
Ehrhard, Thomas |
2005 |
123 | C |
p. 35-74 40 p. |
artikel |
|
| 8 | Formal Specification and Verification of Multi-Agent Systems |
Bourahla, Mustapha |
2005 |
123 | C |
p. 5-17 13 p. |
artikel |
|
| 9 | Fragments of Monadic Second-Order Logics Over Word Structures |
Hachaïchi, Yassine |
2005 |
123 | C |
p. 111-123 13 p. |
artikel |
|
| 10 | Living with Paradoxes |
Kerber, Manfred |
2005 |
123 | C |
p. 151-163 13 p. |
artikel |
|
| 11 | On Decidability Properties of Local Sentences |
Finkel, Olivier |
2005 |
123 | C |
p. 75-92 18 p. |
artikel |
|
| 12 | Preface |
de Queiroz, Ruy |
2005 |
123 | C |
p. 1-3 3 p. |
artikel |
|
| 13 | Probabilistically Checkable Proofs Over the Reals |
Meer, Klaus |
2005 |
123 | C |
p. 165-177 13 p. |
artikel |
|
| 14 | Realizability for Monotone and Clausular (Co)inductive Definitions |
Miranda-Perea, Favio E. |
2005 |
123 | C |
p. 179-193 15 p. |
artikel |
|
| 15 | The Implication Problem of Functional Dependencies in Complex-value Databases |
Hartmann, Sven |
2005 |
123 | C |
p. 125-137 13 p. |
artikel |
|
| 16 | Towards a Programming Language in Cellular Computing |
Gutiérrez-Naranjo, Miguel A. |
2005 |
123 | C |
p. 93-110 18 p. |
artikel |
16 gevonden resultaten