Search results
From MaRDI portal
- Syntactic structures of regular languages 2019-11-13 Paper Alternative Automata Characterization of Piecewise Testable Languages 2013-06-28 Paper On biautomata...10 bytes (17 words) - 17:36, 7 December 2023
- Characterization of Piecewise Testable Languages 2013-06-28 Paper On biautomata 2012-11-22 Paper Biautomata for k-Piecewise Testable Languages 2012-11-02 Paper...10 bytes (16 words) - 00:34, 12 December 2023
- Well-Quasi-orderings 2020-07-08 Paper On shuffle products, acyclic automata and piecewise-testable languages 2019-03-11 Paper Context-free commutative grammars with integer...10 bytes (16 words) - 19:36, 13 December 2023
- 2013-01-17 Paper On the word problem for syntactic monoids of piecewise testable languages. 2012-08-16 Paper The number of monounary algebras 2011-11-23...10 bytes (18 words) - 00:33, 12 December 2023
- Publication Date of Publication Type The Boolean Algebra of Piecewise Testable Languages 2016-08-17 Paper https://portal.mardi4nfdi.de/entity/Q4982349...10 bytes (16 words) - 03:06, 7 October 2023
- Separability by Piecewise Testable Languages 2015-09-29 Paper On Separation by Locally Testable and Locally Threshold Testable Languages 2014-09-30 Paper...10 bytes (18 words) - 10:17, 7 October 2023
- 2013-01-17 Paper On the word problem for syntactic monoids of piecewise testable languages. 2012-08-16 Paper The number of monounary algebras 2011-11-23...10 bytes (16 words) - 06:46, 7 October 2023
- On Boolean combinations forming piecewise testable languages 2017-06-15 Paper On the Complexity of k-Piecewise Testability and the Depth of Automata 2015-11-10...10 bytes (16 words) - 09:51, 6 October 2023
- 2013-01-17 Paper On the word problem for syntactic monoids of piecewise testable languages. 2012-08-16 Paper Finite degree: algebras in general and semigroups...10 bytes (16 words) - 09:32, 9 December 2023
- 2012-11-15 Paper On the word problem for syntactic monoids of piecewise testable languages. 2012-08-16 Paper https://portal.mardi4nfdi.de/entity/Q3106325...10 bytes (18 words) - 03:40, 10 December 2023
- de/entity/Q5376657 2019-05-17 Paper On shuffle products, acyclic automata and piecewise-testable languages 2019-03-11 Paper https://portal.mardi4nfdi.de/entity/Q5278426...10 bytes (16 words) - 02:05, 9 December 2023
- Separating Regular Languages with First-Order Logic 2016-03-11 Paper A Note on Decidable Separability by Piecewise Testable Languages 2015-09-29 Paper McCammond’s...10 bytes (16 words) - 01:45, 12 December 2023
- transformation semigroups 1998-12-06 Paper A proof of Simon's theorem on piecewise testable languages 1998-07-22 Paper https://portal.mardi4nfdi.de/entity/Q4352749...10 bytes (18 words) - 00:34, 12 December 2023
- 2012-12-20 Paper On the word problem for syntactic monoids of piecewise testable languages. 2012-08-16 Paper Embedding semilattices of subspaces of vector...10 bytes (16 words) - 07:19, 7 October 2023
- mardi4nfdi.de/entity/Q4608630 2018-03-21 Paper Separability by piecewise testable languages is \textsc{PTime}-complete 2018-02-16 Paper Computation of controllable...10 bytes (17 words) - 10:29, 6 October 2023
- Systems 2016-06-10 Paper A Note on Decidable Separability by Piecewise Testable Languages 2015-09-29 Paper Decidability of branching bisimulation on normed...10 bytes (16 words) - 14:19, 6 October 2023
- expressions 2016-04-01 Paper A Note on Decidable Separability by Piecewise Testable Languages 2015-09-29 Paper The complexity of regular expressions and property...10 bytes (16 words) - 02:03, 7 October 2023
- membership in Boolean hierarchies of regular languages 2016-08-31 Paper The Boolean Algebra of Piecewise Testable Languages 2016-08-17 Paper On the Lattices of...10 bytes (18 words) - 01:06, 11 December 2023
- ω-Regular Languages 2021-01-21 Paper An Approach to Regular Separability in Vector Addition Systems 2021-01-21 Paper Separability by piecewise testable languages...10 bytes (16 words) - 18:16, 24 September 2023
- negation 2013-09-26 Paper Piecewise testable tree languages 2012-10-22 Paper A decidable characterization of locally testable tree languages 2012-04-02 Paper https://portal...10 bytes (16 words) - 10:16, 6 October 2023
