Pumping, with or without choice
From MaRDI portal
Publication:6536320
DOI10.1007/978-3-030-34175-6_22zbMath1542.68084MaRDI QIDQ6536320
Aquinas Hobor, Frank Stephan, Elaine Li
Publication date: 19 April 2024
Formal languages and automata (68Q45) Axiom of choice and related propositions (03E25) Formalization of mathematics in connection with theorem provers (68V20)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On block pumpable languages
- The calculus of constructions
- Sur la décomposition des ensembles de points en parties respectivement congruentes.
- Regular language representations in the constructive type theory of Coq
- On a problem of formal logic.
- Proof Pearl: regular expression equivalence and relation algebra
- On computable numbers, with an application to the Entscheidungsproblem. A correction.
- On the Formalization of Some Results of Context-Free Language Theory
- Unified Decision Procedures for Regular Expression Equivalence
- A Constructive Theory of Regular Languages in Coq
- Partial Derivative Automata Formalized in Coq
- A Formalisation of the Myhill-Nerode Theorem Based on Regular Expressions (Proof Pearl)
- A Decision Procedure for Regular Expression Equivalence in Type Theory
- On certain formal properties of grammars
- Linear Automaton Transformations
- Pumping Lemmas for Regular Sets
- Axiom of Choice and Complementation
- On the computational content of the axiom of choice
- A Pumping Condition for Regular Sets
This page was built for publication: Pumping, with or without choice
