Jirí Hanika

Publication Activity (10 Years)

Years Active: 1999-2008
Publications (10 Years): 0

Publications

Jirí Hanika
Lévy Hierarchy in weak Set Theories. J. Philos. Log. 37 (2) (2008)
Jirí Hanika
Herbrandizing search problems in Bounded Arithmetic. Math. Log. Q. 50 (6) (2004)
Tomás Dubeda, Jirí Hanika
The Continuous and Discontinuous Styles in Czech TTS. TSD (2000)
Jirí Hanika, Petr Horák
Text to speech control protocol. EUROSPEECH (1999)