| |
| 2007 | ||
|---|---|---|
| 2 | EE | Petr Pudlak: Semantic Selection of Premisses for Automated Theorem Proving. ESARLT 2007 |
| 1997 | ||
| 1 | Bruno Codenotti, Peter Gemmell, Petr Pudlak, Janos Simon: On the Amount of Randomness Needed in Distributed Computations. OPODIS 1997: 237-248 | |
| 1 | Bruno Codenotti | [1] |
| 2 | Peter Gemmell | [1] |
| 3 | Janos Simon | [1] |