Tampere University of Technology

TUTCRIS Research Portal

Sizes of Up-To-n Halting Testers

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Details

Original languageEnglish
Title of host publicationProceedings of the Second Russian Finnish Symposium on Discrete Mathematics 2012, RuFiDiM II, 25-28 September, Turku, Finland. TUCS Lecture Notes
EditorsV. Halava, J. Karhumäki, Y. Matiyasevich
Place of PublicationTurku, Finland
PublisherTURKU CENTRE FOR COMPUTER SCIENCE
Pages176-183
ISBN (Print)978-952-12-2783-7
Publication statusPublished - 2012
Publication typeA4 Article in a conference publication

Publication series

NameRussian Finnish Symposium on Discrete Mathematics
PublisherTurku Centre for Computer Science
Volume17
ISSN (Print)1797-8831
ISSN (Electronic)1797-8831

Publication forum classification

Field of science, Statistics Finland