| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Amortized constant relaxed rebalancing using standard rotations
|
Larsen, Kim S.
|
|
1998
|
|
10 |
p. 859-874
|
artikel
|
| 2 |
A polynomial time computable metric between point sets
|
Ramon, Jan
|
|
2001
|
|
10 |
p. 765-780
|
artikel
|
| 3 |
Context-free graph grammars and concatenation of graphs
|
Engelfriet, Joost
|
|
1997
|
|
10 |
p. 773-803
|
artikel
|
| 4 |
Extending stratified datalog to capture complexity classes ranging from ${\cal P} to {\cal QH}$
|
Greco, Sergio
|
|
2001
|
|
10 |
p. 699-725
|
artikel
|
| 5 |
Generalized normal form for rewriting P systems
|
Madhu, Mutyam
|
|
2002
|
|
10 |
p. 721-734
|
artikel
|
| 6 |
Membrane systems with promoters/inhibitors
|
Bottoni, Paolo
|
|
2002
|
|
10 |
p. 695-720
|
artikel
|
| 7 |
M-nets: An algebra of high-level Petri nets, with an application to the semantics of concurrent programming languages
|
Best, Eike
|
|
1998
|
|
10 |
p. 813-857
|
artikel
|
| 8 |
On linear list recursion in parallel
|
Wedler, Christoph
|
|
1998
|
|
10 |
p. 875-909
|
artikel
|
| 9 |
Packing rectangles in a strip
|
Coffman, Jr., E.G.
|
|
2002
|
|
10 |
p. 673-693
|
artikel
|
| 10 |
Prototyping realistic programming languages based on formal specifications
|
Poetzsch-Heffter, Arnd
|
|
1997
|
|
10 |
p. 737-772
|
artikel
|
| 11 |
Relaxed balance for search trees with local rebalancing
|
Larsen, Kim S.
|
|
2001
|
|
10 |
p. 743-763
|
artikel
|
| 12 |
Running a job on a collection of partly available machines, with on-line restarts
|
van Stee, Rob
|
|
2001
|
|
10 |
p. 727-742
|
artikel
|
Tijdschrift beschrijving