| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Adding inclusion dependencies to an object-oriented data model with uniqueness constraints
|
Biskup, Joachim
|
|
2003
|
|
6-7 |
p. 391-449
|
artikel
|
| 2 |
A new natural structural congruence in the pi-calculus with replication
|
Engelfriet, Joost
|
|
2004
|
|
6-7 |
p. 385-430
|
artikel
|
| 3 |
A typed encoding of boxed into safe ambients
|
Levi, Francesca
|
|
2005
|
|
6-7 |
p. 429-500
|
artikel
|
| 4 |
A word on 7 letters which is non-repetitive up to mod 5
|
Currie, James D.
|
|
2003
|
|
6-7 |
p. 451-468
|
artikel
|
| 5 |
Embedding linear orders in grids
|
Ehrenfeucht, Andrzej
|
|
2005
|
|
6-7 |
p. 419-428
|
artikel
|
| 6 |
Equivalences and optimizations in an expressive XSLT subset
|
Trombetta, Alberto
|
|
2005
|
|
6-7 |
p. 515-539
|
artikel
|
| 7 |
Networks of evolutionary processors
|
Castellanos, Juan
|
|
2003
|
|
6-7 |
p. 517-529
|
artikel
|
| 8 |
Past is for free: on the complexity of verifying linear temporal properties with past
|
Markey, Nicolas
|
|
2004
|
|
6-7 |
p. 431-458
|
artikel
|
| 9 |
Reducing non-determinism in right nulled GLR parsers
|
Scott, Elizabeth
|
|
2004
|
|
6-7 |
p. 459-489
|
artikel
|
| 10 |
Refinement of actions for real-time concurrent systems with causal ambiguity
|
Majster-Cederbaum, Mila
|
|
2005
|
|
6-7 |
p. 389-418
|
artikel
|
| 11 |
Strong bisimilarity of simple process algebras: complexity lower bounds
|
Srba, Jiří
|
|
2003
|
|
6-7 |
p. 469-499
|
artikel
|
| 12 |
Structural operational semantics and bounded nondeterminism
|
Fokkink, Wan
|
|
2003
|
|
6-7 |
p. 501-516
|
artikel
|
| 13 |
Trajectory-based codes
|
Domaratzki, Michael
|
|
2004
|
|
6-7 |
p. 491-527
|
artikel
|
| 14 |
Vector assignment schemes for asymmetric settings
|
Epstein, Leah
|
|
2006
|
|
6-7 |
p. 501-514
|
artikel
|
Tijdschrift beschrijving