Pavel Hrubes

List of publications from the DBLP Bibliography Server - FAQ

2007

2 EE Pavel Hrubes: A lower bound for intuitionistic logic. Ann. Pure Appl. Logic 146(1): 72-90 (2007)

2004

1 EE Pavel Hrubes, Josef Faber, Mirko Novak: Analysis of EEG signals during micro-sleeps. SMC (4) 2004: 3775-3780

2007
2	EE	Pavel Hrubes: A lower bound for intuitionistic logic. Ann. Pure Appl. Logic 146(1): 72-90 (2007)
2004
1	EE	Pavel Hrubes, Josef Faber, Mirko Novak: Analysis of EEG signals during micro-sleeps. SMC (4) 2004: 3775-3780

Coauthor Index