no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
1 |
Algebraic and operational semantics of specifications allowing exceptions and errors
|
Gogolla, M. |
|
1984 |
34 |
3 |
p. 289-313 25 p. |
article |
2 |
A sound and complete axiomatization of embedded cross dependencies
|
Bancilhon, François |
|
1984 |
34 |
3 |
p. 343-350 8 p. |
article |
3 |
Author index volume 34 (1984)
|
|
|
1984 |
34 |
3 |
p. 355- 1 p. |
article |
4 |
Contents EATCS bulletin
|
|
|
1984 |
34 |
3 |
p. 351-353 3 p. |
article |
5 |
Membership problems for data dependencies in relational expressions
|
Ito, Minoru |
|
1984 |
34 |
3 |
p. 315-335 21 p. |
article |
6 |
New families of non real time dpda's and their decidability results
|
Itzhaik, Yair |
|
1984 |
34 |
3 |
p. 255-274 20 p. |
article |
7 |
On small generators
|
Schöning, Uwe |
|
1984 |
34 |
3 |
p. 337-341 5 p. |
article |
8 |
Partial commutations and faithful rational transductions
|
Clerbout, M. |
|
1984 |
34 |
3 |
p. 241-254 14 p. |
article |
9 |
Total objects of domains
|
Kamimura, Tsutomu |
|
1984 |
34 |
3 |
p. 275-288 14 p. |
article |