Tampere University of Technology

TUTCRIS Research Portal

The Asymptotic Behaviour of the Proportion of Hard Instances of the Halting Problem

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

Standard

The Asymptotic Behaviour of the Proportion of Hard Instances of the Halting Problem. / Valmari, Antti.

SPLST '13, 13th Symposium on Programming Languages and Software Tools, August 26-27, 2013, Szeged, Hungary. ed. / Akos Kiss. Szeged, Hungary : University of Szeged, 2013. p. 170-184 (Symposium on Programming Languages and Software Tools).

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

Harvard

Valmari, A 2013, The Asymptotic Behaviour of the Proportion of Hard Instances of the Halting Problem. in A Kiss (ed.), SPLST '13, 13th Symposium on Programming Languages and Software Tools, August 26-27, 2013, Szeged, Hungary. Symposium on Programming Languages and Software Tools, University of Szeged, Szeged, Hungary, pp. 170-184.

APA

Valmari, A. (2013). The Asymptotic Behaviour of the Proportion of Hard Instances of the Halting Problem. In A. Kiss (Ed.), SPLST '13, 13th Symposium on Programming Languages and Software Tools, August 26-27, 2013, Szeged, Hungary (pp. 170-184). (Symposium on Programming Languages and Software Tools). Szeged, Hungary: University of Szeged.

Vancouver

Valmari A. The Asymptotic Behaviour of the Proportion of Hard Instances of the Halting Problem. In Kiss A, editor, SPLST '13, 13th Symposium on Programming Languages and Software Tools, August 26-27, 2013, Szeged, Hungary. Szeged, Hungary: University of Szeged. 2013. p. 170-184. (Symposium on Programming Languages and Software Tools).

Author

Valmari, Antti. / The Asymptotic Behaviour of the Proportion of Hard Instances of the Halting Problem. SPLST '13, 13th Symposium on Programming Languages and Software Tools, August 26-27, 2013, Szeged, Hungary. editor / Akos Kiss. Szeged, Hungary : University of Szeged, 2013. pp. 170-184 (Symposium on Programming Languages and Software Tools).

Bibtex - Download

@inproceedings{4f07ab078da14328871b8413a7140b50,
title = "The Asymptotic Behaviour of the Proportion of Hard Instances of the Halting Problem",
author = "Antti Valmari",
note = "Contribution: organisation=mat,FACT1=1<br/>Portfolio EDEND: 2013-11-29<br/>Publisher name: University of Szeged",
year = "2013",
language = "English",
isbn = "978-963-306-228-9",
series = "Symposium on Programming Languages and Software Tools",
publisher = "University of Szeged",
pages = "170--184",
editor = "Akos Kiss",
booktitle = "SPLST '13, 13th Symposium on Programming Languages and Software Tools, August 26-27, 2013, Szeged, Hungary",
address = "Hungary",

}

RIS (suitable for import to EndNote) - Download

TY - GEN

T1 - The Asymptotic Behaviour of the Proportion of Hard Instances of the Halting Problem

AU - Valmari, Antti

N1 - Contribution: organisation=mat,FACT1=1<br/>Portfolio EDEND: 2013-11-29<br/>Publisher name: University of Szeged

PY - 2013

Y1 - 2013

M3 - Conference contribution

SN - 978-963-306-228-9

T3 - Symposium on Programming Languages and Software Tools

SP - 170

EP - 184

BT - SPLST '13, 13th Symposium on Programming Languages and Software Tools, August 26-27, 2013, Szeged, Hungary

A2 - Kiss, Akos

PB - University of Szeged

CY - Szeged, Hungary

ER -