| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Competitive On-line Scheduling of Continuous-Media Streams
|
Garofalakis, Minos
|
|
2002
|
64 |
2 |
p. 219-248
30 p.
|
artikel
|
| 2 |
Context-Free Languages of Sub-exponential Growth
|
Bridson, Martin R.
|
|
2002
|
64 |
2 |
p. 308-310
3 p.
|
artikel
|
| 3 |
Efficient Approximation Algorithms for the Subset-Sums Equality Problem
|
Bazgan, Cristina
|
|
2002
|
64 |
2 |
p. 160-170
11 p.
|
artikel
|
| 4 |
Formal Software Specification with Refinements and Modules of Typed Graph Transformation Systems
|
Große-Rhode, Martin
|
|
2002
|
64 |
2 |
p. 171-218
48 p.
|
artikel
|
| 5 |
Hierarchical Graph Transformation
|
Drewes, Frank
|
|
2002
|
64 |
2 |
p. 249-283
35 p.
|
artikel
|
| 6 |
Inductive Inference with Additional Information
|
Fulk, Mark
|
|
2002
|
64 |
2 |
p. 153-159
7 p.
|
artikel
|
| 7 |
Interval Consistency of Asynchronous Distributed Computations
|
Hélary, J.M.
|
|
2002
|
64 |
2 |
p. 329-349
21 p.
|
artikel
|
| 8 |
Lower Bounds for Linearly Transformed OBDDs and FBDDs
|
Sieling, Detlef
|
|
2002
|
64 |
2 |
p. 419-438
20 p.
|
artikel
|
| 9 |
LTL Is Expressively Complete for Mazurkiewicz Traces
|
Diekert, Volker
|
|
2002
|
64 |
2 |
p. 396-418
23 p.
|
artikel
|
| 10 |
Minimality of an Automaton Cascade Decomposition for Learning System Environments
|
Westerdale, T.H.
|
|
2002
|
64 |
2 |
p. 284-307
24 p.
|
artikel
|
| 11 |
Output String Languages of Compositions of Deterministic Macro Tree Transducers
|
Engelfriet, Joost
|
|
2002
|
64 |
2 |
p. 350-395
46 p.
|
artikel
|
| 12 |
Papers to Appear in Forthcoming Issues
|
|
|
2002
|
64 |
2 |
p. 439-
1 p.
|
artikel
|
| 13 |
Reducing the Number of Solutions of NP Functions
|
Hemaspaandra, Lane A.
|
|
2002
|
64 |
2 |
p. 311-328
18 p.
|
artikel
|
Tijdschrift beschrijving