Petr Simon
发表
Chu-Ren Huang,
Kathleen Ahrens,
Siaw-Fong Chung,
2007,
PACLIC.
Petr Simon,
P. Simon,
1993
.
Michael Hrusák,
Petr Simon,
Ondrej Zindulka,
2013,
Arch. Math. Log..
Winfried Just,
Petr Simon,
Karel Prikry,
1990,
Journal of Symbolic Logic.
Petr Simon,
1988
.
Petr Simon,
P. Simon,
1971
.
Jia-Fei Hong,
Petr Simon,
2007,
ROCLING.
Petr Simon,
Bohuslav Balcar,
P. Simon,
1992,
Discret. Math..
Chu-Ren Huang,
Shu-Kai Hsieh,
Petr Simon,
2006,
ROCLING/IJCLCLP.
Chu-Ren Huang,
Shu-Kai Hsieh,
Petr Simon,
2007,
ACL.
Chu-Ren Huang,
Laurent Prévot,
Shu-Kai Hsieh,
2007,
ACL.
Jia-Fei Hong,
Chu-Ren Huang,
Shu-Kai Hsieh,
2008,
Int. J. Comput. Process. Orient. Lang..
Chu-Ren Huang,
Petr Simon,
Chu-Ren Huang,
2010,
PACLIC.
Petr Simon,
Bohuslav Balcar,
P. Simon,
1995
.
Petr Simon,
Angelo Bella,
A. Bella,
2004
.
Petr Simon,
Eraldo Giuli,
E. Giuli,
1990
.
Petr Simon,
Bohuslav Balcar,
P. Simon,
1988
.
Petr Simon,
Bohuslav Balcar,
Jan Pelant,
1980
.