Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
Bisimulation can't be tracedBLOOM, B ; ISTRAIL, S ; MEYER, A. RJournal of the ACM, 1995-01, Vol.42 (1), p.232-268 [Periódico revisado por pares]New York, NY: Association for Computing MachineryTexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
Parametricity and local variablesO'HEARN, P. W ; TENNENT, R. DJournal of the ACM, 1995-05, Vol.42 (3), p.658-709 [Periódico revisado por pares]New York, NY: Association for Computing MachineryTexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
A comprehensive study of the complexity of multiparty interactionJOUNG, Y.-J ; SMOLKA, S. AJournal of the ACM, 1996, Vol.43 (1), p.75-115 [Periódico revisado por pares]New York, NY: Association for Computing MachineryTexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
Fully persistent lists with catenationDRISCOLL, J. R ; SLEATOR, D. D. K ; TARJAN, R. EJournal of the ACM, 1994-09, Vol.41 (5), p.943-959 [Periódico revisado por pares]New York, NY: Association for Computing MachineryTexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
WINDOWS GETS DOWN TO BASICSTHE, LDatamation, 1992-11, Vol.38 (23), p.59HIGHLANDS RANCH: CAHNERS-DENVER PUBLISHING COTexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
The isomorphism conjecture fails relative to a random oracleKURTZ, S. A ; MAHANEY, S. R ; ROYER, J. SJournal of the ACM, 1995-03, Vol.42 (2), p.401-420 [Periódico revisado por pares]New York, NY: Association for Computing MachineryTexto completo disponível |
7 |
Material Type: magazinearticle
|
![]() |
ADA 9X - A TECHNICAL SUMMARYTAFT, STCommunications of the ACM, 1992-11, Vol.35 (11), p.77-82NEW YORK: Assoc Computing MachineryTexto completo disponível |
8 |
Material Type: magazinearticle
|
![]() |
WHAT ORIENTATION SHOULD ADA OBJECTS TAKEROSEN, JPCommunications of the ACM, 1992-11, Vol.35 (11), p.71-76NEW YORK: Assoc Computing MachineryTexto completo disponível |
9 |
Material Type: magazinearticle
|
![]() |
From Fortran and Algol to object-oriented languagesWilkes, Maurice V.Communications of the ACM, 1993-07, Vol.36 (7), p.21-23New York: Association for Computing Machinery, IncTexto completo disponível |
10 |
Material Type: magazinearticle
|
![]() |
COORDINATION LANGUAGES AND THEIR SIGNIFICANCEGELERNTER, D ; CARRIERO, NCommunications of the ACM, 1992-02, Vol.35 (2), p.96-107NEW YORK: Assoc Computing MachineryTexto completo disponível |