Journal of the ACM container_r72grtxx6jad5hjzl7fxcunwhi

Published by Association for Computing Machinery

Search Releases from this Container

Example Publications

The Marriage of Univalence and Parametricity

Nicolas Tabareau, √Čric Tanter, Matthieu Sozeau
2021 | Journal of the ACM
doi:10.1145/3429979  

Semantic Optimization of Conjunctive Queries

Pablo Barceló, Diego Figueira, Georg Gottlob, Andreas Pieris
2020 | Journal of the ACM
doi:10.1145/3424908  

Frege Systems for Quantified Boolean Logic

Olaf Beyersdorff, Ilario Bonacina, Leroy Chew, Jan Pich
2020 | Journal of the ACM
doi:10.1145/3381881  
3,042
Known Releases
Preservation Status
1,116 preserved and accessble (bright)
1,851 preserved, inaccessible (dark)
75 no known preservation
Work Types
article-journal 3,042
Type  journal
Status  unknown
ISSN-L?  0004-5411
Print:  0004-5411
Electronic:  1557-735X
Wikidata  Q1709878
Directory Listings
Not in DOAJ
Not in ISSN ROAD
In Keepers Registery
Preservation Holdings
CLOCKSS: years 1954-1963, 1965-2006, 2008-2019
HathiTrust: years 1960-1960, 1974-1974, 1982-1982, 1986-1986, 1989-1989, 1994-1995, 1997-1997, 2003-2003
Portico: years 1954-2019
Lookup Links
ISSN Portal
The Keepers Registry (preservation)
SHERPA/RoMEO (access policies)
Catalog Record
Revision: 8face77e-4236-4baa-ba7e-20c710bcec54
API URL: JSON