|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
12 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Category Theoretic Formulation for Engeler-style Models of the Untyped λ-Calculus |
Hyland, Martin |
2006 |
161 | C |
p. 43-57 15 p. |
artikel |
|
| 2 | A “Hardware Compiler” Semantics for Handel-C |
Butterfield, Andrew |
2006 |
161 | C |
p. 73-90 18 p. |
artikel |
|
| 3 | Computation of Wave Fronts on a Disk I: Numerical Experiments |
Essl, Georg |
2006 |
161 | C |
p. 25-41 17 p. |
artikel |
|
| 4 | Convexity in Helly Graphs: Selection and Almost Fixed Point Properties for Multifunctions |
Tsaur, Rueiher |
2006 |
161 | C |
p. 151-163 13 p. |
artikel |
|
| 5 | Countable Lawvere Theories and Computational Effects |
Power, John |
2006 |
161 | C |
p. 59-71 13 p. |
artikel |
|
| 6 | Decision Trees of Algorithms and a Semivaluation to Measure Their Distance |
O' Keeffe, M. |
2006 |
161 | C |
p. 175-183 9 p. |
artikel |
|
| 7 | On Formal Specification of Software Components and Systems |
Flynn, Sharon |
2006 |
161 | C |
p. 91-107 17 p. |
artikel |
|
| 8 | On the Integration of Connectionist and Logic-Based Systems |
Seda, Anthony Karel |
2006 |
161 | C |
p. 109-130 22 p. |
artikel |
|
| 9 | Operator Algebras and the Operational Semantics of Probabilistic Languages |
Di Pierro, Alessandra |
2006 |
161 | C |
p. 131-150 20 p. |
artikel |
|
| 10 | Preface |
Seda, Anthony K. |
2006 |
161 | C |
p. 1-2 2 p. |
artikel |
|
| 11 | The Dual Complexity Space as the Dual of a Normed Cone |
Romaguera, S. |
2006 |
161 | C |
p. 165-174 10 p. |
artikel |
|
| 12 | Topological Analysis of Refinement |
Huth, Michael |
2006 |
161 | C |
p. 3-23 21 p. |
artikel |
12 gevonden resultaten