Elena Annov

	2007
2		Peter Schneider-Kamp, Carsten Fuhs, René Thiemann, Jürgen Giesl, Elena Annov, Michael Codish, Aart Middeldorp, Harald Zankl: Implementing RPO and POLO using SAT. Deduction and Decision Procedures 2007
1		Peter Schneider-Kamp, René Thiemann, Elena Annov, Michael Codish, Jürgen Giesl: Proving Termination Using Recursive Path Orders and SAT Solving. FroCos 2007: 267-282

Coauthor Index

1	Michael Codish	[1] [2]
2	Carsten Fuhs	[2]
3	Jürgen Giesl	[1] [2]
4	Aart Middeldorp	[2]
5	Peter Schneider-Kamp	[1] [2]
6	René Thiemann	[1] [2]
7	Harald Zankl	[2]

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page