Jirí Hanika

LÉVY HIERARCHY IN WEAK SET THEORIES

Jirí Hanika, 2008, J. Philos. Log..

Text to speech control protocol

Petr Horák, Jirí Hanika, 1999, EUROSPEECH.

The Continuous and Discontinuous Styles in Czech TTS

Jirí Hanika, Tomás Dubeda, 2000, TSD.

Herbrandizing search problems in Bounded Arithmetic

Jirí Hanika, 2004, Math. Log. Q..