TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Sizes of Up-To-n Halting Testers

Tutkimustuotosvertaisarvioitu

Yksityiskohdat

AlkuperäiskieliEnglanti
OtsikkoProceedings of the Second Russian Finnish Symposium on Discrete Mathematics 2012, RuFiDiM II, 25-28 September, Turku, Finland. TUCS Lecture Notes
ToimittajatV. Halava, J. Karhumäki, Y. Matiyasevich
JulkaisupaikkaTurku, Finland
KustantajaTURKU CENTRE FOR COMPUTER SCIENCE
Sivut176-183
ISBN (painettu)978-952-12-2783-7
TilaJulkaistu - 2012
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisussa

Julkaisusarja

NimiRussian Finnish Symposium on Discrete Mathematics
KustantajaTurku Centre for Computer Science
Vuosikerta17
ISSN (painettu)1797-8831
ISSN (elektroninen)1797-8831

Julkaisufoorumi-taso