Kereső
Bejelentkezés
Kapcsolat
Betűméret: Súgó
Complexity of Fixed-Size Bit-Vector Logics |
Tartalom: | http://publikacio.uni-eszterhazy.hu/47/ |
---|---|
Archívum: | Eszterházy Károly Egyetem Publikáció |
Gyűjtemény: | Típus = Folyóiratcikk - Journal article |
Cím: |
Complexity of Fixed-Size Bit-Vector Logics
|
Létrehozó: |
Kovásznai, Gergely
Andreas, Fröhlich
Armin, Biere
Helmut, Veith
|
Nyelv: |
angol
|
Típus: |
Folyóiratcikk
NonPeerReviewed
|
Formátum: |
text
|
Azonosító: |
Kovásznai, Gergely, Andreas, Fröhlich, Armin, Biere, Helmut, Veith (2016) Complexity of Fixed-Size Bit-Vector Logics Theory of Computing Systems. 59 (2). pp. 323-376. ISSN 1432-4350
|
Kapcsolat: |