Loughborough University
Leicestershire, UK
LE11 3TU
+44 (0)1509 263171
Loughborough University

Loughborough University Institutional Repository

Browsing by Author Walter, Tobias

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:   
Sort by: In order: Results/Page Authors/Record:
Showing results 1 to 4 of 4
Issue DateTitleAuthor(s)
2017Level Two of the quantifier alternation hierarchy over infinite wordsKufleitner, Manfred; Walter, Tobias
2016Level two of the quantifier alternation hierarchy over infinite wordsKufleitner, Manfred; Walter, Tobias
2015One quantifier alternation in first-order logic with modular predicatesKufleitner, Manfred; Walter, Tobias
2015Regular languages are Church-Rosser congruentialDiekert, Volker; Kufleitner, Manfred; Reinhardt, Klaus; Walter, Tobias
Showing results 1 to 4 of 4