Search results
From MaRDI portal
- membership problem for regular DNLC grammars 1986-01-01 Paper Trace languages defined by regular string languages 1986-01-01 Paper Traces, dependency graphs...10 bytes (17 words) - 02:06, 25 September 2023
- equivalence problem for unambiguous regular trace languages 1994-01-01 Paper HOLONOMIC GENERATING FUNCTIONS AND CONTEXT FREE LANGUAGES 1993-01-16 Paper The complexity...10 bytes (13 words) - 04:06, 12 December 2023
- Propositional dynamic logic and asynchronous cascade decompositions for regular trace languages 2024-08-13 Paper Orbit closures, stabilizer limits and intermediate...10 bytes (13 words) - 10:32, 24 September 2023
- asynchronous automata and on the equivalence problem for unambiguous regular trace languages 1994-01-01 Paper Strong separations of the polynomial hierarchy...10 bytes (13 words) - 12:15, 24 September 2023
- OF TREE LANGUAGES 2011-03-25 Paper Inferring Regular Trace Languages from Positive and Negative Samples 2010-09-10 Paper A Robust Class of Regular Languages...10 bytes (15 words) - 20:13, 24 September 2023
- Propositional dynamic logic and asynchronous cascade decompositions for regular trace languages 2024-08-13 Paper Algebraic characterizations and block product decompositions...10 bytes (13 words) - 00:35, 7 October 2023
- Descriptional complexity of bounded context-free languages 2013-12-04 Paper Limited Automata and Regular Languages 2013-08-09 Paper Normal forms for unary probabilistic...10 bytes (15 words) - 10:23, 6 October 2023
- Propositional dynamic logic and asynchronous cascade decompositions for regular trace languages 2024-08-13 Paper Silhouettes and generic properties of subgroups...10 bytes (13 words) - 20:57, 10 December 2023
- Propositional dynamic logic and asynchronous cascade decompositions for regular trace languages 2024-08-13 Paper Fast algorithms for handling diagonal constraints...10 bytes (13 words) - 12:44, 28 January 2024
- Automata 2013-02-26 Paper LANGUAGES VERSUS ω-LANGUAGES IN REGULAR INFINITE GAMES 2013-01-18 Paper Languages vs. ω-Languages in Regular Infinite Games 2011-07-29...10 bytes (13 words) - 04:37, 7 October 2023
- the number of occurrences of a symbol in words of regular languages. 2003-08-17 Paper Regular languages accepted by quantum automata 2003-01-14 Paper Random...10 bytes (14 words) - 16:57, 9 December 2023
- 2013-01-18 Paper Regular Languages Are Church-Rosser Congruential 2012-11-01 Paper Deciding regularity of hairpin completions of regular languages in polynomial...10 bytes (15 words) - 23:13, 24 September 2023
- rational trace on each finite intersection of rational relations 2012-10-11 Paper A note on the logical definability of rational trace languages 2012-06-20...10 bytes (13 words) - 02:50, 9 December 2023
- Pushdown Trace Languages 2015-02-20 Paper Ordered Restarting Automata for Picture Languages 2015-01-13 Paper Restarting Automata for Picture Languages: A Survey...10 bytes (13 words) - 14:00, 10 December 2023
- benchmark production tool for regular expressions 2020-05-06 Paper Regular languages as local functions with small alphabets 2020-04-29 Paper Non-erasing...10 bytes (15 words) - 02:13, 25 September 2023
- Comonad Morphisms. 2023-02-03 Paper Reordering Derivatives of Trace Closures of Regular Languages. 2023-02-03 Paper Partiality and Container Monads 2022-12-09...10 bytes (15 words) - 01:57, 25 September 2023
- of (regular) circular languages generated by monotone complete splicing systems 2010-11-19 Paper On the regularity of circular splicing languages: a survey...10 bytes (17 words) - 18:26, 9 December 2023
- recognition of trace languages defined by repeat-until loops 2010-08-19 Paper The Complexity of Unary Tiling Recognizable Picture Languages: Nondeterministic...10 bytes (13 words) - 21:33, 10 December 2023
- Derivative-Based Diagnosis of Regular Expression Ambiguity 2016-11-09 Paper Forkable Regular Expressions 2016-04-13 Paper Derivatives for Regular Shuffle Expressions...10 bytes (13 words) - 16:58, 24 September 2023
- complexity of regular DNLC graph languages 1990-01-01 Paper Attribute storage optimization by stacks 1990-01-01 Paper Complexity of boundary graph languages 1990-01-01...10 bytes (13 words) - 02:23, 9 December 2023
