ACM Transactions on Programming Languages and Systems

Title Titel
ACM Transactions on Programming Languages and Systems
 
e-ISSN
1558-4593
 
ISSN
0164-0925
 
Publisher Herausgeber
ASSOC COMPUTING MACHINERY
 
Publisher's Address Herausgeber Adresse
1601 Broadway, 10th Floor, NEW YORK, Usa, NY, 10019-7434
 
Listed in SCI Aufgelistet im SCI
 
Peer reviewed Begutachtet
 
 
 
Description Beschreibung
Ab 1994 darin aufgegangen: ACM Letters on Programming Languages and Systems
 

Publications Publikationen



Filter:
Subject:  Decision procedure

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Pagel, Jens ; Zuleger, Florian Strong-separation Logic (Extended Version)Article Artikel Sep-2022