Petr Pudlak

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2007

2 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

	2007
2		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

Coauthor Index

1 Bruno Codenotti [1]

2 Peter Gemmell [1]

3 Janos Simon [1]