Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Article
|
![]() |
Bisimulation can't be tracedBLOOM, B ; ISTRAIL, S ; MEYER, A. RJournal of the ACM, 1995-01, Vol.42 (1), p.232-268 [Peer Reviewed Journal]New York, NY: Association for Computing MachineryFull text available |
2 |
Material Type: Article
|
![]() |
Parametricity and local variablesO'HEARN, P. W ; TENNENT, R. DJournal of the ACM, 1995-05, Vol.42 (3), p.658-709 [Peer Reviewed Journal]New York, NY: Association for Computing MachineryFull text available |
3 |
Material Type: Article
|
![]() |
A comprehensive study of the complexity of multiparty interactionJOUNG, Y.-J ; SMOLKA, S. AJournal of the ACM, 1996, Vol.43 (1), p.75-115 [Peer Reviewed Journal]New York, NY: Association for Computing MachineryFull text available |
4 |
Material Type: Article
|
![]() |
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 [Peer Reviewed Journal]New York, NY: Association for Computing MachineryFull text available |
5 |
Material Type: Article
|
![]() |
WINDOWS GETS DOWN TO BASICSTHE, LDatamation, 1992-11, Vol.38 (23), p.59HIGHLANDS RANCH: CAHNERS-DENVER PUBLISHING COFull text available |
6 |
Material Type: Article
|
![]() |
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 [Peer Reviewed Journal]New York, NY: Association for Computing MachineryFull text available |
7 |
Material Type: magazinearticle
|
![]() |
ADA 9X - A TECHNICAL SUMMARYTAFT, STCommunications of the ACM, 1992-11, Vol.35 (11), p.77-82NEW YORK: Assoc Computing MachineryFull text available |
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 MachineryFull text available |
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, IncFull text available |
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 MachineryFull text available |