Search results
From MaRDI portal
- zbMath Open han.yo-subMaRDI QIDQ247253 No records found. This page was built for person: Yo-Sub Han...10 bytes (18 words) - 03:14, 25 September 2023
- Prefix-Free Regular Languages 2009-05-22 Paper Prime Decompositions of Regular Languages 2009-03-26 Paper Generalizations of 1-deterministic regular languages...10 bytes (17 words) - 19:27, 9 December 2023
- Sturmian Trees 2007-09-03 Paper Operations preserving regular languages 2006-04-28 Paper Mixed languages 2005-04-06 Paper https://portal.mardi4nfdi.de/entity/Q4738285...10 bytes (16 words) - 18:34, 9 December 2023
- Publication Type Sub-classes of the monoid of left cancellative languages 2011-06-15 Paper On \(\mathcal P\)-regular semigroups having regular *-transversals...10 bytes (16 words) - 10:01, 6 October 2023
- grammars 1984-01-01 Paper Commutative one-counter languages are regular 1984-01-01 Paper On regularity of languages generated by copying systems 1984-01-01 Paper...10 bytes (17 words) - 17:58, 9 December 2023
- Paper Regular geodesic languages and the falsification by fellow traveler property. 2005-11-01 Paper A context-free and a 1-counter geodesic language for...10 bytes (19 words) - 14:54, 10 December 2023
- 2012-11-22 Paper Star-free languages are Church-Rosser congruential 2012-10-11 Paper On logical hierarchies within FO^2-definable languages 2012-08-15 Paper Branching...10 bytes (16 words) - 21:57, 10 December 2023
- programs 2022-08-16 Paper Fixing the State Budget: Approximation of Regular Languages with Small DFAs 2022-08-12 Paper Context-sensitive dynamic partial...10 bytes (18 words) - 00:40, 10 December 2023
- Complete Axiom Systems for the Extended Language of Regular Expressions 1968-01-01 Paper On regular expressions and regular canonical systems 1968-01-01 Paper...10 bytes (18 words) - 03:51, 9 December 2023
- Centralized PC Systems of Pushdown Automata 2013-08-09 Paper Bounded Counter Languages 2012-11-02 Paper SIMULATIONS BY TIME-BOUNDED COUNTER MACHINES 2011-03-30...10 bytes (16 words) - 16:22, 12 December 2023
- for SAT 2022-08-30 Paper Fixing the State Budget: Approximation of Regular Languages with Small DFAs 2022-08-12 Paper Algorithm selection for dynamic symbolic...10 bytes (17 words) - 15:14, 6 October 2023
- Fragments over Words 2012-11-01 Paper Regular Languages Are Church-Rosser Congruential 2012-11-01 Paper Star-free languages are Church-Rosser congruential 2012-10-11...10 bytes (16 words) - 13:45, 7 October 2023
- fragments 2023-09-27 Paper \textsc{Pspace}-completeness of the temporal logic of sub-intervals and suffixes 2023-09-27 Paper Interval Temporal Logic for Visibly...10 bytes (16 words) - 01:20, 10 December 2023
- context-free languages and pumping lemmas 2020-07-27 Paper State complexity characterizations of parameterized degree-bounded graph connectivity, sub-linear...10 bytes (16 words) - 13:35, 7 October 2023
- temporal logic of sub-intervals and suffixes 2023-09-27 Paper An interval temporal logic characterization of extended \(\omega\)-regular languages 2023-06-01...10 bytes (16 words) - 11:30, 7 October 2023
- 2008-10-30 Paper Fast reversible language recognition using cellular automata 2008-10-08 Paper Succinct description of regular languages by weak restarting automata...10 bytes (16 words) - 08:02, 7 October 2023
- Algorithms and Techniques 2005-08-25 Paper Automata, Languages and Programming 2005-08-24 Paper Regular resolution lower bounds for the weak pigeonhole principle...10 bytes (16 words) - 10:53, 8 December 2023
- 2008-06-03 Paper Circuit Complexity of Regular Languages 2007-11-13 Paper STACS 2004 2007-10-01 Paper Languages with Bounded Multiparty Communication Complexity...10 bytes (17 words) - 03:57, 7 October 2023
- https://portal.mardi4nfdi.de/entity/Q4886094 1996-10-21 Paper Complexity of Sub-Bus Mesh Computations 1996-07-23 Paper Interactive proof systems with polynomially...10 bytes (19 words) - 00:11, 13 December 2023
- Paper https://portal.mardi4nfdi.de/entity/Q3138944 1993-10-20 Paper More languages of generalised star height 1 1993-04-22 Paper Deterministic simulation...10 bytes (18 words) - 16:45, 9 December 2023
