Pumping, with or without choice
From MaRDI portal
Publication:6536320
DOI10.1007/978-3-030-34175-6_22zbMATH Open1542.68084MaRDI QIDQ6536320FDOQ6536320
Authors: Aquinas Hobor, Elaine Li, Frank Stephan 
Publication date: 19 April 2024
Recommendations
Formal languages and automata (68Q45) Formalization of mathematics in connection with theorem provers (68V20) Axiom of choice and related propositions (03E25)
Cites Work
- Unified decision procedures for regular expression equivalence
- Axiom of Choice and Complementation
- Title not available (Why is that?)
- On certain formal properties of grammars
- The calculus of constructions
- On the computational content of the axiom of choice
- On the formalization of some results of context-free language theory
- Proof Pearl: regular expression equivalence and relation algebra
- Linear Automaton Transformations
- Title not available (Why is that?)
- On a problem of formal logic.
- A constructive theory of regular languages in Coq
- Pumping Lemmas for Regular Sets
- A Decision Procedure for Regular Expression Equivalence in Type Theory
- Title not available (Why is that?)
- A Pumping Condition for Regular Sets
- On block pumpable languages
- Sur la décomposition des ensembles de points en parties respectivement congruentes.
- Regular language representations in the constructive type theory of Coq
- A formalisation of the Myhill-Nerode theorem based on regular expressions (proof pearl)
- Partial derivative automata formalized in Coq
- On computable numbers, with an application to the Entscheidungsproblem. A correction.
This page was built for publication: Pumping, with or without choice
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6536320)
