Suchergebnisse - Theory of computation Formal languages AND automata theory Formalisms Rewrite systems~
-
1
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Artur Czumaj, Anuj Dawar, and Emanuela Merelli, editors, 47th International Colloquium on Automata, Languages, and Programming, ICALP 2020
Schlagwörter: FOS: Computer and information sciences, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Formal Languages and Automata Theory (cs.FL), Computer Science - Formal Languages and Automata Theory, 0102 computer and information sciences, 02 engineering and technology, [INFO] Computer Science [cs], Theory of computation → Logic and verification, 01 natural sciences, Automata, Regular cost functions, higher-order recursion schemes, Infinite trees, Cost logics, downward closure, safe recursion schemes, cost automata, 0202 electrical engineering, electronic engineering, information engineering, cost logics, ddc:004, Safe scheme, Theory of computation → Rewrite systems, downward closures
Dateibeschreibung: application/pdf
-
2
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Proceedings of the 33rd Annual ACM Symposium on Applied Computing. :1680-1686
Schlagwörter: [INFO.INFO-AR] Computer Science [cs]/Hardware Architecture [cs.AR], [INFO.INFO-NI] Computer Science [cs]/Networking and Internet Architecture [cs.NI], Système d'exploitation, Réseaux et télécommunications, 0102 computer and information sciences, 02 engineering and technology, Systèmes embarqués, 01 natural sciences, [INFO.INFO-ES] Computer Science [cs]/Embedded Systems, Rewrite systems, Calcul parallèle, distribué et partagé, Grammars and context-free languages, [INFO.INFO-OS] Computer Science [cs]/Operating Systems [cs.OS], Architectures Matérielles, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], 0202 electrical engineering, electronic engineering, information engineering, Formal languages and automata theory, Formalisms, Theory of computation
Dateibeschreibung: application/pdf
Zugangs-URL: https://hal.archives-ouvertes.fr/hal-02652140/document
https://hal.archives-ouvertes.fr/hal-02652140
https://oatao.univ-toulouse.fr/22153/
https://dl.acm.org/doi/pdf/10.1145/3167132.3167312
https://dblp.uni-trier.de/db/conf/sac/sac2018.html#EichlerD0S18
https://hal.archives-ouvertes.fr/hal-02652140/document
https://doi.org/10.1145/3167132.3167312
https://oatao.univ-toulouse.fr/22153/
https://hal.science/hal-02652140v1 -
3
Autoren:
Resource Type: eBook.
Schlagworte: Computable functions, Formal languages, Computer systems
-
4
Autoren: Buliga, Marius
Schlagwörter: FOS: Computer and information sciences, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, Formal Languages and Automata Theory (cs.FL), Computer Science - Neural and Evolutionary Computing, Computer Science - Formal Languages and Automata Theory, Neural and Evolutionary Computing (cs.NE)
Zugangs-URL: http://arxiv.org/abs/2306.00938
-
5
Autoren:
Resource Type: eBook.
Schlagworte: Artificial intelligence, Natural language processing (Computer science), Information storage and retrieval systems, Computer science
Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / System Administration / Storage & Retrieval, COMPUTERS / Speech & Audio Processing
-
6
Autoren:
Quelle: SIAM Journal on Control & Optimization; 2005, Vol. 44 Issue 4, p1474, 55p
-
7
Autoren: Constable, Robert L.
Quelle: 2012 27th Annual IEEE Symposium on Logic in Computer Science; 1/ 1/2012, p2-8, 7p
-
8
Autoren:
Quelle: Philosophical Transactions of the Royal Society B: Biological Sciences; 7/19/2012, Vol. 367 Issue 1598, p1971-1983, 13p
-
9
Autoren: Jeffrey Shallit
Resource Type: eBook.
Schlagworte: Machine theory, Formal languages
Categories: COMPUTERS / Languages / General
-
10
Autoren: Deutsch, David
Quelle: Synthese; Dec2013, Vol. 190 Issue 18, p4331-4359, 29p
-
11
-
12
-
13
Autoren: Viktor Vafeiadis
Resource Type: eBook.
Schlagworte: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses
PDF-Volltext ePub Volltext -
14
Autoren: Müller, Stefan
Resource Type: eBook.
Schlagworte: Language acquisition, Language and languages--Study and teaching, Germanic languages--Syntax, Computational linguistics, Grammar, Comparative and general, Generative grammar, Government (Grammar)
PDF-Volltext -
15
Autoren: Stephanie Weirich
Resource Type: eBook.
Schlagworte: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses
PDF-Volltext ePub Volltext -
16
Autoren: Thomas Wies
Resource Type: eBook.
Schlagworte: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses
Categories: COMPUTERS / Programming / Compilers
PDF-Volltext ePub Volltext -
17
Autoren: Luís Caires
Resource Type: eBook.
Schlagworte: Information theory, Computer industry, Computer science, Software engineering, Computer system performance, Electronic data processing
Categories: COMPUTERS / Programming / Compilers, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General
PDF-Volltext ePub Volltext -
18
Autoren: Ilya Sergey
Resource Type: eBook.
Schlagworte: Computer programming--Congresses, Programming languages (Electronic computers)--Congresses
Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Programming / General, COMPUTERS / Hardware / General
PDF-Volltext -
19
Autoren: et al.
Quelle: Chaos; Mar2001, Vol. 11 Issue 1, p160, 10p
Schlagwörter: GENETICS, BIOLOGICAL models
-
20
Full Text Finder 
Nájsť tento článok vo Web of Science 
Full Text