|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | An Efficient Incremental Algorithm for Solving Systems of Linear Diophantine Equations |
Contejean, E. |
1994 |
113 | 1 |
p. 143-172 30 p. |
artikel |
|
| 2 | A Resource-Based Prioritized Bisimulation for Real-Time Systems |
Gerber, R. |
1994 |
113 | 1 |
p. 102-142 41 p. |
artikel |
|
| 3 | Calling Names on Nameless Networks |
Schieber, B. |
1994 |
113 | 1 |
p. 80-101 22 p. |
artikel |
|
| 4 | Membership Testing in Threshold One Transformation Monoids |
Beaudry, M. |
1994 |
113 | 1 |
p. 1-25 25 p. |
artikel |
|
| 5 | On the Decidability of Certain Integer Subgraph Problems on Context-Free Graph Languages |
Wanke, E. |
1994 |
113 | 1 |
p. 26-49 24 p. |
artikel |
|
| 6 | The Vertex Separation and Search Number of a Graph |
Ellis, J.A. |
1994 |
113 | 1 |
p. 50-79 30 p. |
artikel |
6 gevonden resultaten