-
1
المؤلفون: Michal Koucký
المصدر: Lecture Notes in Computer Science ISBN: 9783540730002
CiEمصطلحات موضوعية: Discrete mathematics, Current (mathematics), Regular language, Abstract family of languages, Pumping lemma for context-free languages, Generalized star height problem, Circuit complexity, Cone (formal languages), Pumping lemma for regular languages, Mathematics
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::efa523a95c1b3a92d0a4f34c5d83a295
https://doi.org/10.4171/automata-1/14 -
2
المساهمون: Universidade do Minho
المصدر: LSFA
Repositório Científico de Acesso Aberto de Portugal
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAPمصطلحات موضوعية: formalization, General Computer Science, Property (programming), Computer science, 0102 computer and information sciences, 02 engineering and technology, computer.software_genre, 01 natural sciences, Formal proof, Theoretical Computer Science, Formal language, 0202 electrical engineering, electronic engineering, information engineering, Coq, non-context-free languages, Lemma (mathematics), intersection, Science & Technology, Programming language, Intersection (set theory), Proof assistant, Computer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing), 020207 software engineering, Engenharia Eletrotécnica, Eletrónica e Informática [Engenharia e Tecnologia], closure, pumping lemma, Pumping lemma for regular languages, 010201 computation theory & mathematics, Computer Science::Programming Languages, Pumping lemma for context-free languages, computer, Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
وصف الملف: application/pdf
-
3
المصدر: Izvestiya: Mathematics. 82:632-645
مصطلحات موضوعية: Discrete mathematics, Lemma (mathematics), Mathematics::Number Theory, General Mathematics, 010102 general mathematics, 02 engineering and technology, Céa's lemma, 01 natural sciences, Algebra, 020303 mechanical engineering & transports, 0203 mechanical engineering, Pumping lemma for context-free languages, 0101 mathematics, Mathematics::Representation Theory, Hensel's lemma, Mathematics
-
4
المؤلفون: Tim Smith
المصدر: Information and Computation. 252:176-186
مصطلحات موضوعية: Discrete mathematics, Computer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing), 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Morphic word, Pumping lemma for regular languages, Computer Science Applications, Theoretical Computer Science, Prefix, Indexed language, Morphism, Computational Theory and Mathematics, 010201 computation theory & mathematics, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Pumping lemma for context-free languages, Computer Science::Formal Languages and Automata Theory, Information Systems, Mathematics
-
5
المؤلفون: Fernando Ferreira, Bruno Dinis
المصدر: Mathematical Logic Quarterly. 63:114-123
مصطلحات موضوعية: Algebra, Lemma (mathematics), 010201 computation theory & mathematics, Logic, 010102 general mathematics, 0102 computer and information sciences, Pumping lemma for context-free languages, 0101 mathematics, Arithmetic, 01 natural sciences, Mathematics
-
6
المؤلفون: Oleg R. Musin
المصدر: Arnold Mathematical Journal. 2:299-308
مصطلحات موضوعية: Discrete mathematics, Lemma (mathematics), General Mathematics, 010102 general mathematics, Aubin–Lions lemma, Borsuk–Ulam theorem, Sperner's lemma, Mathematics::Geometric Topology, 01 natural sciences, 010101 applied mathematics, Combinatorics, Teichmüller–Tukey lemma, Five lemma, Mathematics::Differential Geometry, Pumping lemma for context-free languages, 0101 mathematics, Mathematics::Symplectic Geometry, Euclid's lemma, Mathematics
-
7
المؤلفون: Peter Kostolányi
المصدر: RAIRO - Theoretical Informatics and Applications. 50:295-311
مصطلحات موضوعية: Discrete mathematics, TheoryofComputation_COMPUTATIONBYABSTRACTDEVICES, Nested word, Computer Science::Information Retrieval, General Mathematics, Computability, Deterministic context-free grammar, Context-free language, Pushdown automaton, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Embedded pushdown automaton, Computer Science Applications, Deterministic pushdown automaton, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, 010201 computation theory & mathematics, Computer Science::Logic in Computer Science, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Pumping lemma for context-free languages, Computer Science::Formal Languages and Automata Theory, Software, Mathematics
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::0772b166173d0b0857e85d2e31b997cc
https://doi.org/10.1051/ita/2016003 -
8
المصدر: Theoretical Computer Science. 609:272-285
مصطلحات موضوعية: Discrete mathematics, General Computer Science, Abstract family of languages, Computer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing), 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Cone (formal languages), Pumping lemma for regular languages, Theoretical Computer Science, Combinatorics, Regular language, Intersection, 010201 computation theory & mathematics, Block (programming), 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Homomorphism, Pumping lemma for context-free languages, Computer Science::Formal Languages and Automata Theory, Mathematics
-
9
المؤلفون: Julia Böttcher, Peter Allen, Oliver Cooley, Richard Mycroft
المصدر: Electronic Notes in Discrete Mathematics. 49:691-698
مصطلحات موضوعية: Discrete mathematics, Combinatorics, Hypergraph, Lemma (mathematics), Applied Mathematics, Aubin–Lions lemma, Discrete Mathematics and Combinatorics, Five lemma, QA Mathematics, Pumping lemma for context-free languages, Mathematics
وصف الملف: application/pdf
-
10
المؤلفون: Itai Arad, Or Sattath
المصدر: Scopus-Elsevier
مصطلحات موضوعية: Discrete mathematics, Nuclear and High Energy Physics, General Physics and Astronomy, Statistical and Nonlinear Physics, Constructive, Theoretical Computer Science, Combinatorics, Computational Theory and Mathematics, Quantum state, Quantum algorithm, Pumping lemma for context-free languages, Boolean satisfiability problem, Quantum, Lovász local lemma, Mathematical Physics, Algorithmic Lovász local lemma, Mathematics
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::eb09e733cbaee37c43bb0fe84f52c3ec
https://doi.org/10.26421/qic15.11-12-7