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

Loughborough University Institutional Repository

Browsing by Author Kufleitner, Manfred

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 20 of 20
Issue DateTitleAuthor(s)
2014Block products and nesting negations in FO2Fleischer, Lukas; Kufleitner, Manfred; Lauser, Alexander
2015Efficient algorithms for morphisms over omega-regular languagesFleischer, Lukas; Kufleitner, Manfred
2014Ehrenfeucht-Fraisse games on omega-termsHuschenbett, Martin; Kufleitner, Manfred
2018Green’s relations in deterministic finite automataFleischer, Lukas; Kufleitner, Manfred
2017Green’s relations in finite transformation semigroupsFleischer, Lukas; Kufleitner, Manfred
2017The half-levels of the FO2 alternation hierarchyFleischer, Lukas; Kufleitner, Manfred; Lauser, Alexander
2018The intersection problem for finite monoidsFleischer, Lukas; Kufleitner, Manfred
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
2015Omega-rational expressions with bounded synchronization delayDiekert, Volker; Kufleitner, Manfred
2015One quantifier alternation in first-order logic with modular predicatesKufleitner, Manfred; Walter, Tobias
2015On the index of Simon's congruence for piecewise testabilityKarandikar, P.; Kufleitner, Manfred; Schnoebelen, P.
2016Operations on weakly recognizing morphismsFleischer, Lukas; Kufleitner, Manfred
2015Regular languages are Church-Rosser congruentialDiekert, Volker; Kufleitner, Manfred; Reinhardt, Klaus; Walter, Tobias
2016Solutions of word equations over partially commutative structuresDiekert, Volker; Jez, Artur; Kufleitner, Manfred
2014Star-free languages and local divisorsKufleitner, Manfred
2014A survey on the local divisor techniqueDiekert, Volker; Kufleitner, Manfred
2018Testing Simon’s congruenceFleischer, Lukas; Kufleitner, Manfred
2017The word problem for omega-terms over the Trotter-Weil hierarchyKufleitner, Manfred; Wachter, Jan Philipp
2016The word problem for omega-terms over the Trotter-Weil hierarchy [extended abstract]Kufleitner, Manfred; Wachter, Jan Philipp
Showing results 1 to 20 of 20