|
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 | Aggressive Online Deadline Scheduling |
Lam, Tak-Wah |
2004 |
91 | C |
p. 148-157 10 p. |
artikel |
|
| 2 | A Membership Algorithm for Functional and Multi-valued Dependencies in the Presence of Lists |
Hartmann, Sven |
2004 |
91 | C |
p. 171-194 24 p. |
artikel |
|
| 3 | Automated Theorem Proving with Spider Diagrams |
Flower, Jean |
2004 |
91 | C |
p. 246-263 18 p. |
artikel |
|
| 4 | Checking Strong Open Congruence in χ-Calculus |
Chen, Taolue |
2004 |
91 | C |
p. 4-20 17 p. |
artikel |
|
| 5 | CHR: A Constructive Relevant Natural-deduction Logic |
Leslie, Neil |
2004 |
91 | C |
p. 158-170 13 p. |
artikel |
|
| 6 | Computing the Maximum Agreement of Phylogenetic Networks |
Choy, Charles |
2004 |
91 | C |
p. 134-147 14 p. |
artikel |
|
| 7 | Foreword |
Atkinson, Mike |
2004 |
91 | C |
p. 1-2 2 p. |
artikel |
|
| 8 | Formalising General Correctness |
Dawson, Jeremy E. |
2004 |
91 | C |
p. 21-42 22 p. |
artikel |
|
| 9 | Generating Nearly Sorted Sequences – The use of measures of disorder |
Estivill-Castro, Vladimir |
2004 |
91 | C |
p. 56-95 40 p. |
artikel |
|
| 10 | Higher-order associative commutative pattern matching for component retrieval |
Hemer, David |
2004 |
91 | C |
p. 116-133 18 p. |
artikel |
|
| 11 | How to Collect Balls Moving in the Euclidean Plane |
Asahiro, Yuichi |
2004 |
91 | C |
p. 229-245 17 p. |
artikel |
|
| 12 | Small Edge Dominating Sets of Regular Graphs |
Duckworth, W. |
2004 |
91 | C |
p. 43-55 13 p. |
artikel |
|
| 13 | Succinct Data Structures |
Munro, Ian |
2004 |
91 | C |
p. 3- 1 p. |
artikel |
|
| 14 | The Polymorphic Imperative: a Generic Approach to In-place Update |
Jay, C.B. |
2004 |
91 | C |
p. 195-211 17 p. |
artikel |
|
| 15 | Towards a Readable Formalisation of Category Theory |
O'Keefe, Greg |
2004 |
91 | C |
p. 212-228 17 p. |
artikel |
|
| 16 | Type Inference for Mobile Ambients in Prolog |
Giovannetti, Elio |
2004 |
91 | C |
p. 96-115 20 p. |
artikel |
16 gevonden resultaten