Jirí Hanika

According to our database¹, Jirí Hanika authored at least 4 papers between 1999 and 2008.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2008

Lévy Hierarchy in weak Set Theories.

[BibT_eX]

[DOI]

J. Philos. Log., 2008

2004

Herbrandizing search problems in Bounded Arithmetic.

[BibT_eX]

[DOI]

Math. Log. Q., 2004

2000

The Continuous and Discontinuous Styles in Czech TTS.

[BibT_eX]

[DOI]

Proceedings of the Text, Speech and Dialogue - Third International Workshop, 2000

1999

Text to speech control protocol.

[BibT_eX]

[DOI]

Proceedings of the Sixth European Conference on Speech Communication and Technology, 1999