Viewed by: 2. Number - only RG1

Number	Title	Name(s)	Pages
2012-RG1-002	Automatic generation of inductive invariants by SUP(LA)	Fietzke, Kruglov, Weidenbach	26
2012-RG1-001	Labelled superposition for PLTL	Suda, Weidenbach	42
2011-RG1-002	Towards verification of the pastry protocol using TLA+	Lu, Merz, Weidenbach	51
2010-RG1-001	On the saturation of YAGO	Suda, Weidenbach, Wischnewski	50
2009-RG1-005	Superposition for fixed domains	Horbach, Weidenbach	49
2009-RG1-004	Decidability results for saturation-based model building	Horbach, Weidenbach	38
2009-RG1-002	Contextual rewriting	Wischnewski, Weidenbach	28
2009-RG1-001	Deciding the inductive validity of $\forall\exists^*$ queries	Horbach, Weidenbach	43
2008-RG1-001	Labelled splitting	Fietzke, Weidenbach	45
2007-RG1-002	Superposition for finite domains	Hillenbrand, Weidenbach	29