MPI-INF RG1 Publications , MPG Format, generated: Saturday, 25. May 2013

Scientific Publications for 2013

Bj{\o}rner, N. and V. Sofronie-Stokkermans: Preface: special issue of selected extended papers of cade-23. Journal of Automated Reasoning [***Warning: Volume missing ?, ] [***Warning: Pages missing ?-?] (2013).

Hillenbrand, T., R. Piskac, U. Waldmann and C. Weidenbach: From search to computation: redundancy criteria and simplification at work. In: Programming Logics, Essays in Memory of Harald Ganzinger, Lect. Notes Comput. Sci. 7797, (Eds.) A. Voronkov, C. Weidenbach. Springer, Berlin 2013, [***Warning: Pages missing , ? p].

Hillenbrand, T. and C. Weidenbach: Superposition for bounded domains. In: Automated Reasoning and Mathematics, Essays in Memory of William W. McCune, Lect. Notes Comput. Sci. 7788, (Eds.) M.P. Bonacina, M. Stickel. Springer, Heidelberg 2013, 68-100.

Sofronie-Stokkermans, V.: Hierarchical reasoning and model generation for the verification of parametric hybrid systems. In: Proc. 24th Int. Conf. on Automated Deduction (CADE-24), Lect. Notes Artif. Intell. 7898, (Ed.) M.P. Bonacina. Springer, Heidelberg 2013, 360-376.

- On combinations of local theory extensions. In: Programming Logics, Essays in Memory of Harald Ganzinger, Lect. Notes Comput. Sci. 7797, (Eds.) A. Voronkov, C. Weidenbach. Springer, Berlin 2013, [***Warning: Pages missing , ? p].

Master's thesis

Reuter, J.: Real linear quantifier elimination. Universität des Saarlandes 2013.