Search Results - "Manfred Kufleitner"

Generic Non-recursive Suffix Array Construction.

Authors: Olbrich, Jannik Ohlebusch, Enno Büchler, Thomas

Source: ACM Transactions on Algorithms; Apr2024, Vol. 20 Issue 2, p1-42, 42p

SEPARATION FOR DOT-DEPTH TWO.

Authors: PLACE, THOMAS ZEITOUN, MARC

Source: Logical Methods in Computer Science (LMCS); 2021, Vol. 17 Issue 3, p1-42, 42p, 1 Diagram

Green's Relations in Deterministic Finite Automata.

Authors: Fleischer, Lukas Kufleitner, Manfred

Source: Theory of Computing Systems; May2019, Vol. 63 Issue 4, p666-687, 22p

Discrete Algebraic Methods : Arithmetic, Cryptography, Automata and Groups

Authors: Volker Diekert Manfred Kufleitner Gerhard Rosenberger et al.

Resource Type: eBook.

Subjects: Ordered algebraic structures--Textbooks, Algorithms--Textbooks, Computer science--Textbooks--Mathematics, Cryptography--Textbooks

Categories: MATHEMATICS / Discrete Mathematics, COMPUTERS / Computer Science, COMPUTERS / Information Theory, COMPUTERS / Programming / Algorithms, MATHEMATICS / Number Theory, MATHEMATICS / Combinatorics

EFFECTIVE CHARACTERIZATIONS OF SIMPLE FRAGMENTS OF TEMPORAL LOGIC USING CARTON–MICHEL AUTOMATA.

Authors: PREUGSCHAT, EBASTIAN WILKE, THOMAS

Source: Logical Methods in Computer Science (LMCS); Apr2013, Vol. 9 Issue 2, p1-22, 22p

DEFINABLE DECOMPOSITIONS FOR GRAPHS OF BOUNDED LINEAR CLIQUEWIDTH.

Authors: BOJAŃCZYK, MIKOŁAJ GROHE, MARTIN PILIPCZUK, MICHAŁ

Source: Logical Methods in Computer Science (LMCS); 2021, Vol. 17 Issue 1, p1-40, 40p

Preface to the Special Issue on Computer Science in Russia 2016.

Authors: Kulikov, Alexander S. Woeginger, Gerhard J.

Source: Theory of Computing Systems; Apr2018, Vol. 62 Issue 3, p465-466, 2p

Preface.

Authors: Bulatov, Andrei Hirsch, Edward Pin, Jean-Éric

Source: Theory of Computing Systems; Aug2017, Vol. 61 Issue 2, p261-262, 2p

Going Higher in First-Order Quantifier Alternation Hierarchies on Words.

Authors: PLACE, THOMAS ZEITOUN, MARC

Source: Journal of the ACM. Apr2019, Vol. 66 Issue 2, p1-65. 65p.

Level Two of the Quantifier Alternation Hierarchy Over Infinite Words.

Authors: Kufleitner, Manfred Walter, Tobias

Source: Theory of Computing Systems; Apr2018, Vol. 62 Issue 3, p467-480, 14p

The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy.

Authors: Kufleitner, Manfred Wächter, Jan Philipp

Source: Theory of Computing Systems; Apr2018, Vol. 62 Issue 3, p682-738, 57p

The Half-Levels of the FO Alternation Hierarchy.

Authors: Fleischer, Lukas Kufleitner, Manfred Lauser, Alexander

Source: Theory of Computing Systems; Aug2017, Vol. 61 Issue 2, p352-370, 19p

Regular Languages Are Church-Rosser Congruential.

Authors: DIEKERT, VOLKER KUFLEITNER, MANFRED REINHARDT, KLAUS et al.

Source: Journal of the ACM. Oct2015, Vol. 62 Issue 5, p39-39:20. 20p.

Preface.

Authors: Karhumäki, J. Hirsch, E.

Source: Theory of Computing Systems; May2015, Vol. 56 Issue 4, p591-592, 2p

Omega-Rational Expressions with Bounded Synchronization Delay.

Authors: Diekert, Volker Kufleitner, Manfred

Source: Theory of Computing Systems; May2015, Vol. 56 Issue 4, p686-696, 11p

The Krohn-Rhodes Theorem and Local Divisors.

Authors: Diekert, Volker Kufleitner, Manfred Steinberg, Benjamin

Source: Fundamenta Informaticae; 2012, Vol. 116 Issue 1-4, p65-77, 13p

On the lattice of sub-pseudovarieties of DA.

Authors: Kufleitner, Manfred Weil, Pascal

Source: Semigroup Forum. Oct2010, Vol. 81 Issue 2, p243-254. 12p. 1 Diagram.

Algebraic Elements of Graphs

Authors: Yanpei Liu

Resource Type: eBook.

Subjects: Representations of algebras, Representations of graphs, Associative algebras

Categories: MATHEMATICS / Combinatorics, MATHEMATICS / Algebra / General, MATHEMATICS / Geometry / General, MATHEMATICS / Topology

Pattern Recognition on Oriented Matroids

Authors: Andrey O. Matveev

Resource Type: eBook.

Subjects: Oriented matroids

Categories: MATHEMATICS / Combinatorics, COMPUTERS / Data Science / General, COMPUTERS / Data Science / Data Analytics, COMPUTERS / Programming / Algorithms

Farey Sequences : Duality and Maps Between Subsequences

Authors: Andrey O. Matveev

Resource Type: eBook.

Subjects: Sequences (Mathematics), Number theory

Categories: MATHEMATICS / Discrete Mathematics, MATHEMATICS / Algebra / General, MATHEMATICS / Number Theory