Concepedia
Statistics
Publications
11
Citations
242
H-Index
Active since
2007
Affiliations
University of Stuttgart(Current)
Laboratoire Bordelais de Recherche en Informatique
Centre National de la Recherche Scientifique
Université de Bordeaux
Institut Polytechnique de Bordeaux
Manfred Kufleitner is an author at University of Stuttgart specializing in syntax, linguistics, and language studies.
Top concepts
SyntaxLinguisticsLanguageEngineeringAutomated ReasoningSemanticsFormal MethodsComputer ScienceGeneticsGenomics
Publications per year
2007–2014
A SURVEY ON SMALL FRAGMENTS OF FIRST-ORDER LOGIC OVER FINITE WORDS
Volker Diekert, Paul Gastin, Manfred Kufleitner · International Journal of Foundations of Computer Science · 2008 · 73 citations
Non-classical Logic, Syntax, Alternation Hierarchy +14
On the index of Simon's congruence for piecewise testability
Prateek Karandikar, Manfred Kufleitner, Ph. Schnoebelen · Information Processing Letters · 2014 · 44 citations · Full text
Combinatorial Design, Property Testing, Testability +2
The Krohn-Rhodes Theorem and Local Divisors
Volker Diekert, Manfred Kufleitner, Benjamin Steinberg · Fundamenta Informaticae · 2012 · 18 citations
Geometry Of Number, Schubert Calculus, Commutative Algebra +6
Fragments of First-Order Logic over Infinite Words
Volker Diekert, Manfred Kufleitner · Theory of Computing Systems · 2010 · 18 citations · Full text
Syntax, Automated Reasoning, Classical Logic +6
The FO2 alternation hierarchy is decidable
Manfred Kufleitner, Pascal Weil · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2012 · 15 citations · Full text
1–5 of 11