nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
Counting Protocols for Reliable End-to-End Transmission
|
Ladner, Richard E |
|
1998 |
56 |
1 |
p. 96-111 16 p. |
artikel |
2 |
Invertible Linear Cellular Automata overZ m :
|
Manzini, Giovanni |
|
1998 |
56 |
1 |
p. 60-67 8 p. |
artikel |
3 |
Lower Bounds on the Multiparty Communication Complexity
|
Ďuriš, Pavol |
|
1998 |
56 |
1 |
p. 90-95 6 p. |
artikel |
4 |
On Correctness of Nonserializable Executions
|
Rastogi, Rajeev |
|
1998 |
56 |
1 |
p. 68-82 15 p. |
artikel |
5 |
On Interpolating Arithmetic Read-Once Formulas with Exponentiation
|
Bshouty, Daoud |
|
1998 |
56 |
1 |
p. 112-124 13 p. |
artikel |
6 |
Regular Sequence Operations and Their Use in Database Queries
|
Ginsburg, Seymour |
|
1998 |
56 |
1 |
p. 1-26 26 p. |
artikel |
7 |
Remarks about Commutative Context-Free Languages
|
Kortelainen, Juha |
|
1998 |
56 |
1 |
p. 125-129 5 p. |
artikel |
8 |
TAL Recognition inO(M(n 2)) Time
|
Rajasekaran, Sanguthevar |
|
1998 |
56 |
1 |
p. 83-89 7 p. |
artikel |
9 |
Trading Independent for Synchronized Parallelism in Finite Copying Parallel Rewriting Systems
|
Satta, Giorgio |
|
1998 |
56 |
1 |
p. 27-45 19 p. |
artikel |
10 |
Transforming a Single-Valued Transducer Into a Mealy Machine
|
Weber, Andreas |
|
1998 |
56 |
1 |
p. 46-59 14 p. |
artikel |