Petr Stepánek

	2011
17		Josef Urban, Jirí Vyskocil, Petr Stepánek: MaLeCoP Machine Learning Connection Prover. TABLEAUX 2011: 263-277
	2007
16		Jirí Vyskocil, Petr Stepánek: Improving Efficiency of Prolog Programs by Fully Automated Unfold/Fold Transformation. MICAI 2007: 305-315
	2004
15		Jan Hruza, Petr Stepánek: Speedup of Logic Programs by Binarization and Partial Deduction. TPLP 4(3): 355-380 (2004)
	2003
14		Jan Hruza, Petr Stepánek: Speedup of Logic Programs by Binarization and Partial Deduction CoRR cs.PL/0312026: (2003)
	2002
13		Petr Olmer, Petr Stepánek: Schema-Based Transformations of Logic Programs in lambda-Prolog. ICLP 2002: 472
	2000
12		Jan Hruza, Petr Stepánek: Binary Speed Up for Logic Programs. Computational Logic 2000: 116-130
	1992
11		Olga Stepánková, Petr Stepánek: Prolog: A Step towards the Future of Programming. Advanced Topics in Artificial Intelligence 1992: 50-81
	1989
10		Olga Stepánková, Petr Stepánek: AI Education and Logic. Artificial Intelligence in Higher Education 1989: 199-205
9		Olga Stepánková, Petr Stepánek: Stratification of Definite Clause Programs and of General Logic Programs. CSL 1989: 396-408
	1988
8		Vít Ochozka, Olga Stepánková, Petr Stepánek: Normal Forms and the Complexity of Computations of Logic Programs. CSL 1988: 357-371
	1987
7		Olga Stepánková, Petr Stepánek: Developing Logic Programs: Computing Through Normalizing. CSL 1987: 304-321
	1986
6		Petr Stepánek, Olga Stepánková: Logic Programs and Alternation. ICLP 1986: 99-106
	1984
5		Olga Stepánková, Petr Stepánek: Computation Trees and Transformations of Logic Programs. ICLP 1984: 53-63
4		Olga Stepánková, Petr Stepánek: Transformations of Logic Programs. J. Log. Program. 1(4): 305-318 (1984)
	1982
3		Jan Sebelík, Petr Stepánek: Graphs as Data in Prolog Programs. ICLP 1982: 105-109
	1978
2		Petr Stepánek: Cardinal Collapsing and Ordinal Definability. J. Symb. Log. 43(4): 635-642 (1978)
	1977
1		Petr Stepánek, Bohuslav Balcar: Embedding Theorems for Boolean Algebras and Consistency Results on Ordinal Definable Sets. J. Symb. Log. 42(1): 64-76 (1977)

Coauthor Index

1	Bohuslav Balcar	[1]
2	Jan Hruza	[12] [14] [15]
3	Vít Ochozka	[8]
4	Petr Olmer	[13]
5	Jan Sebelík	[3]
6	Olga Stepánková	[4] [5] [6] [7] [8] [9] [10] [11]
7	Josef Urban	[17]
8	Jirí Vyskocil	[16] [17]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page