Entity

Time filter

Source Type

Beyersdorff O.,Leibniz University of Hanover |
Beyersdorff O.,University of Leeds |
Datta S.,Chennai Mathematical Institute |
Krebs A.,University of Tubingen |
And 7 more authors.

ACM Transactions on Computation Theory | Year: 2013

Creignou N.,Aix - Marseille University |
Schmidt J.,Aix - Marseille University |
Thomas M.,TWT GmbH |
Woltran S.,Vienna University of Technology

Argument and Computation | Year: 2011

Thomas M.,TWT GmbH

Information Processing Letters | Year: 2012

Creignou N.,Aix - Marseille University |
Meier A.,Leibniz University of Hanover |
Vollmer H.,Leibniz University of Hanover |
Thomas M.,TWT GmbH

ACM Transactions on Computational Logic | Year: 2012

Beyersdorff O.,Leibniz University of Hanover |
Datta S.,Chennai Mathematical Institute |
Mahajan M.,Chennai Mathematical Institute |
Scharfenberger-Fabian G.,University of Greifswald |
And 3 more authors.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | Year: 2011