Complexity of Fixed-Size Bit-Vector Logics

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

pdf tocs2013.pdf Megtekinthetik: Csak az archivum karbantartója Download (612kB)

Mű típusa:	Folyóiratcikk
Szerző:	Szerző neve MTMT azonosító ORCID azonosító Közreműködés Kovásznai, Gergely NEM RÉSZLETEZETT NEM RÉSZLETEZETT NEM RÉSZLETEZETT Andreas, Fröhlich NEM RÉSZLETEZETT NEM RÉSZLETEZETT NEM RÉSZLETEZETT Armin, Biere NEM RÉSZLETEZETT NEM RÉSZLETEZETT NEM RÉSZLETEZETT Helmut, Veith NEM RÉSZLETEZETT NEM RÉSZLETEZETT NEM RÉSZLETEZETT
Kötetszám:	59
ISSN:	1432-4350
Felhasználó:	Dr. Gergely Kovásznai
Dátum:	11 Dec 2016 16:59
Utolsó módosítás:	11 Dec 2016 17:00
URI:	http://publikacio.uni-eszterhazy.hu/id/eprint/47

Műveletek (bejelentkezés szükséges)

Tétel nézet