Formalization of the Pumping Lemma for Context-Free Languages.
- Published in:
- Journal of Formalized Reasoning, 2016, v. 9, n. 2, p. 53
- By:
- Publication type:
- Article
Works matching IS 19725787 AND DT 2016 AND VI 9 AND IP 2
Results: 2
1
2
Implementation of Bourbaki's Elements of Mathematics in Coq: Part Two, From Natural Numbers to Real Numbers.
- Published in:
- Journal of Formalized Reasoning, 2016, v. 9, n. 2, p. 1
- By:
- Publication type:
- Article