Constrained multi-tildes
From MaRDI portal
Publication:6199863
DOI10.1007/978-3-031-40247-0_4OpenAlexW4385701238MaRDI QIDQ6199863
Florent Nicart, Samira Attou, Clément Miklarz, Ludovic Mignot
Publication date: 28 February 2024
Published in: Implementation and Application of Automata (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-031-40247-0_4
Cites Work
- Erratum to ``Acyclic automata and small expressions using multi-tilde-bar operators [Theoret. Comput. Sci. 411 (38-39) (2010) 3423-3435]
- A lower bound technique for the size of nondeterministic finite automata
- Partial derivatives of regular expressions and finite automaton constructions
- Multi-tilde-bar expressions and their automata
- Characterization of Glushkov automata
- Multi-Bar and Multi-Tilde Regular Operators
- A New Family of Regular Operators Fitting with the Position Automaton Computation
- Multi-tilde Operators and Their Glushkov Automata
- How expressions can code for automata
- A Computing Procedure for Quantification Theory
- A machine program for theorem-proving
- The complexity of theorem-proving procedures
This page was built for publication: Constrained multi-tildes
