Full name Familienname, Vorname
Kreutzer, Stephan
 

Results 1-4 of 4 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Bonnet, Édouard ; Dreier, Jan ; Gajarský, Jakub ; Kreutzer, Stephan ; Mählmann, Nikolas ; Simon, Pierre ; Toruńczyk, Szymon Model Checking on Interpretations of Classes of Bounded Local CliquewidthInproceedings Konferenzbeitrag 4-Aug-2022
2Engelmann, Viktor ; Ordyniak, Sebastian ; Kreutzer, Stephan Directed elimination gamesArtikel Article 2016
3Kreutzer, Stephan ; Ordyniak, Sebastian Complexity and monotonicity results for domination gamesArtikel Article 2016
4Kreutzer, Stephan ; Ordyniak, Sebastian Digraph decompositions and monotonicity in digraph searchingArtikel Article2011

Results 1-2 of 2 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Baaz, Matthias ; Fermüller, Christian Elementary Elimination of Prenex Cuts in Disjunction-free Intuitionistic LogicKonferenzbeitrag Inproceedings 2015
2Hetzl, Stefan ; Zivota, Sebastian Tree Grammars for the Elimination of Non-prenex CutsKonferenzbeitrag Inproceedings2015