Petr Simon

13 papers A* 2C 2Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2019 J jnl
CoRR
Chu-Ren Huang, Ting-Shuo Yo, Petr Simon, Shu-Kai Hsieh
2013 J jnl
Arch. Math. Log.
Michael Hrusák, Petr Simon, Ondrej Zindulka
2010 C conf
PACLIC
Petr Simon, Chu-Ren Huang
2008 conf
ROCLING
Chu-Ren Huang, Ting-Shuo Yo, Petr Simon, Shu-Kai Hsieh
2008 J jnl
Int. J. Comput. Process. Orient. Lang.
Petr Simon, Chu-Ren Huang, Shu-Kai Hsieh, Jia-Fei Hong
2007 A* conf
ACL
Chu-Ren Huang, Petr Simon, Shu-Kai Hsieh
2007 C conf
PACLIC
Siaw-Fong Chung, Kathleen Ahrens, Chung-Ping Cheng, Chu-Ren Huang, Petr Simon
2007 A* conf
ACL
Chu-Ren Huang, Petr Simon, Shu-Kai Hsieh, Laurent Prévot
2007 conf
ROCLING
Petr Simon, Jia-Fei Hong
2006 conf
ROCLING
Shu-Kai Hsieh, Petr Simon, Chu-Ren Huang
2001 J jnl
Ann. Pure Appl. Log.
Bohuslav Balcar, Petr Simon
1992 J jnl
Discret. Math.
Bohuslav Balcar, Petr Simon
1990 J jnl
J. Symb. Log.
Winfried Just, A. R. D. Mathias, Karel Prikry, Petr Simon