Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen... - Autor(en)
- Institute of Electrical and Electronics Engineers, author, issuing body.
- Artikel
- A Logic for Locally Complete Abstract Interpretations
- Titel
- 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : 29 June 2021-2 July 2021, Rome, Italy /
- Verlag
- IEEE,
- Ort
- Piscataway, New Jersey :
- Erscheinungsjahr
- [2021]
Es wurden folgende elektronische Volltexte gefunden