Login
|
New Account
AAAAAA
ITA
ENG
Results:
1-2
|
Results: 2
Vertical implementation
Authors:
Rensink, A Gorrieri, R
Citation:
A. Rensink et R. Gorrieri, Vertical implementation, INF COMPUT, 170(1), 2001, pp. 95-133
Bisimilarity of open terms
Authors:
Rensink, A
Citation:
A. Rensink, Bisimilarity of open terms, INF COMPUT, 156(1-2), 2000, pp. 345-385
Risultati:
1-2
|