Jirí Hanika

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2008

4 Jirí Hanika: Lévy Hierarchy in weak Set Theories. J. Philosophical Logic 37(2): 121-140 (2008)

2004

3 Jirí Hanika: Herbrandizing search problems in Bounded Arithmetic. Math. Log. Q. 50(6): 577-586 (2004)

2000

2 Tomás Dubeda, Jirí Hanika: The Continuous and Discontinuous Styles in Czech TTS. TSD 2000: 195-200

1999

1 Jirí Hanika, Petr Horák: Text to speech control protocol. EUROSPEECH 1999

	2008
4		Jirí Hanika: Lévy Hierarchy in weak Set Theories. J. Philosophical Logic 37(2): 121-140 (2008)
	2004
3		Jirí Hanika: Herbrandizing search problems in Bounded Arithmetic. Math. Log. Q. 50(6): 577-586 (2004)
	2000
2		Tomás Dubeda, Jirí Hanika: The Continuous and Discontinuous Styles in Czech TTS. TSD 2000: 195-200
	1999
1		Jirí Hanika, Petr Horák: Text to speech control protocol. EUROSPEECH 1999

Coauthor Index

1 Tomás Dubeda [2]

2 Petr Horák [1]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page