nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
Abstract Effective Models
|
Boker, Udi |
|
2006 |
135 |
3 |
p. 15-23 9 p. |
artikel |
2 |
A Calculus for Reconfiguration
|
Fagorzi, Sonia |
|
2006 |
135 |
3 |
p. 49-59 11 p. |
artikel |
3 |
A Generalized Higher-Order Chemical Computation Model
|
Banâtre, J.-P. |
|
2006 |
135 |
3 |
p. 3-13 11 p. |
artikel |
4 |
A Universal Accepting Hybrid Network of Evolutionary Processors
|
Manea, Florin |
|
2006 |
135 |
3 |
p. 95-105 11 p. |
artikel |
5 |
Classically-controlled Quantum Computation
|
Perdrix, Simon |
|
2006 |
135 |
3 |
p. 119-128 10 p. |
artikel |
6 |
Coalgebraic Description of Generalized Binary Methods
|
Honsell, Furio |
|
2006 |
135 |
3 |
p. 73-84 12 p. |
artikel |
7 |
iRho: the Software
|
Liquori, Luigi |
|
2006 |
135 |
3 |
p. 85-94 10 p. |
artikel |
8 |
On Reversible Combinatory Logic
|
Di Pierro, Alessandra |
|
2006 |
135 |
3 |
p. 25-35 11 p. |
artikel |
9 |
Preface
|
Fernández, Maribel |
|
2006 |
135 |
3 |
p. 1-2 2 p. |
artikel |
10 |
SCHOOL: a Small Chorded Object-Oriented Language
|
Drossopoulou, S. |
|
2006 |
135 |
3 |
p. 37-47 11 p. |
artikel |
11 |
Splitting Mobility and Communication in Boxed Ambients
|
Garralda, Pablo |
|
2006 |
135 |
3 |
p. 61-71 11 p. |
artikel |
12 |
Supporting Function Calls within PELCR
|
Cosentino, Antonio |
|
2006 |
135 |
3 |
p. 107-117 11 p. |
artikel |
13 |
Token-Passing Nets: Call-by-Need for Free
|
Sinot, François-Régis |
|
2006 |
135 |
3 |
p. 129-139 11 p. |
artikel |
14 |
Type Theory and Language Constructs for Objects with States
|
Xu, H. |
|
2006 |
135 |
3 |
p. 141-151 11 p. |
artikel |