Sizes of Up-To-n Halting Testers

Antti Valmari

Sizes of Up-To-n Halting Testers

Antti Valmari

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

Translated title of the contribution	Sizes of Up-To-n Halting Testers
Original language	English
Title of host publication	Proceedings of the Second Russian Finnish Symposium on Discrete Mathematics 2012, RuFiDiM II, 25-28 September, Turku, Finland. TUCS Lecture Notes
Editors	V. Halava, J. Karhumäki, Y. Matiyasevich
Place of Publication	Turku, Finland
Publisher	TURKU CENTRE FOR COMPUTER SCIENCE
Pages	176-183
ISBN (Print)	978-952-12-2783-7
Publication status	Published - 2012
Publication type	A4 Article in conference proceedings

Publication series

Name	Russian Finnish Symposium on Discrete Mathematics
Publisher	Turku Centre for Computer Science
Volume	17
ISSN (Print)	1797-8831
ISSN (Electronic)	1797-8831

Publication forum classification

No publication forum level

Access to Document

http://tucs.fi/publications/view/?pub_id=pHaKaMa12a

Cite this

Valmari, A. (2012). Sizes of Up-To-n Halting Testers. In V. Halava, J. Karhumäki, & Y. Matiyasevich (Eds.), Proceedings of the Second Russian Finnish Symposium on Discrete Mathematics 2012, RuFiDiM II, 25-28 September, Turku, Finland. TUCS Lecture Notes (pp. 176-183). (Russian Finnish Symposium on Discrete Mathematics; Vol. 17). TURKU CENTRE FOR COMPUTER SCIENCE. http://tucs.fi/publications/view/?pub_id=pHaKaMa12a

Valmari, Antti. / Sizes of Up-To-n Halting Testers. Proceedings of the Second Russian Finnish Symposium on Discrete Mathematics 2012, RuFiDiM II, 25-28 September, Turku, Finland. TUCS Lecture Notes. editor / V. Halava ; J. Karhumäki ; Y. Matiyasevich. Turku, Finland : TURKU CENTRE FOR COMPUTER SCIENCE, 2012. pp. 176-183 (Russian Finnish Symposium on Discrete Mathematics).

@inproceedings{ab205e567d86482391f5dae67d86ffa7,

title = "Sizes of Up-To-n Halting Testers",

author = "Antti Valmari",

note = "ei ut-numeroa 21.9.2013<br/>Contribution: organisation=ohj,FACT1=1",

year = "2012",

language = "English",

isbn = "978-952-12-2783-7",

series = "Russian Finnish Symposium on Discrete Mathematics",

publisher = "TURKU CENTRE FOR COMPUTER SCIENCE",

pages = "176--183",

editor = "V. Halava and J. Karhum{\"a}ki and Y. Matiyasevich",

booktitle = "Proceedings of the Second Russian Finnish Symposium on Discrete Mathematics 2012, RuFiDiM II, 25-28 September, Turku, Finland. TUCS Lecture Notes",

}

Valmari, A 2012, Sizes of Up-To-n Halting Testers. in V Halava, J Karhumäki & Y Matiyasevich (eds), Proceedings of the Second Russian Finnish Symposium on Discrete Mathematics 2012, RuFiDiM II, 25-28 September, Turku, Finland. TUCS Lecture Notes. Russian Finnish Symposium on Discrete Mathematics, vol. 17, TURKU CENTRE FOR COMPUTER SCIENCE, Turku, Finland, pp. 176-183. <http://tucs.fi/publications/view/?pub_id=pHaKaMa12a>

Sizes of Up-To-n Halting Testers. / Valmari, Antti.
Proceedings of the Second Russian Finnish Symposium on Discrete Mathematics 2012, RuFiDiM II, 25-28 September, Turku, Finland. TUCS Lecture Notes. ed. / V. Halava; J. Karhumäki; Y. Matiyasevich. Turku, Finland: TURKU CENTRE FOR COMPUTER SCIENCE, 2012. p. 176-183 (Russian Finnish Symposium on Discrete Mathematics; Vol. 17).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

TY - GEN

T1 - Sizes of Up-To-n Halting Testers

AU - Valmari, Antti

N1 - ei ut-numeroa 21.9.2013<br/>Contribution: organisation=ohj,FACT1=1

PY - 2012

Y1 - 2012

M3 - Conference contribution

SN - 978-952-12-2783-7

T3 - Russian Finnish Symposium on Discrete Mathematics

SP - 176

EP - 183

BT - Proceedings of the Second Russian Finnish Symposium on Discrete Mathematics 2012, RuFiDiM II, 25-28 September, Turku, Finland. TUCS Lecture Notes

A2 - Halava, V.

A2 - Karhumäki, J.

A2 - Matiyasevich, Y.

PB - TURKU CENTRE FOR COMPUTER SCIENCE

CY - Turku, Finland

ER -