Výsledky vyhľadávania - Theory of computation Formal languages and automata theory Formalisms Rewrite system

Cost Automata, Safe Schemes, and Downward Closures

Autori: Barozzini, David Clemente, Lorenzo Colcombet, Thomas a ďalší

Prispievatelia: Barozzini, David Clemente, Lorenzo Colcombet, Thomas a ďalší

Zdroj: Artur Czumaj, Anuj Dawar, and Emanuela Merelli, editors, 47th International Colloquium on Automata, Languages, and Programming, ICALP 2020

Predmety: 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

Popis súboru: application/pdf

Prístupová URL adresa: http://arxiv.org/abs/2004.12187
https://fi.episciences.org/8485
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2020.109
https://hal.science/hal-03105650v1
https://doi.org/10.4230/lipics.icalp.2020.109
https://hal.science/hal-03105650v1/document

Correctness by construction and style preserving reconfigurations of system of systems

Autori: Eichler, Cédric Drira, Khalil Monteil, Thierry a ďalší

Prispievatelia: Eichler, Cédric Drira, Khalil Monteil, Thierry a ďalší

Zdroj: Proceedings of the 33rd Annual ACM Symposium on Applied Computing. :1680-1686

Predmety: [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

Popis súboru: application/pdf

Prístupová URL adresa: 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

Theory of Computation and Application : Automata, Formal Languages, Computational Complexity

Autori: Jena, S. R. Swain, S. K.

Typ zdroja: eBook.

Predmet: Computable functions, Formal languages, Computer systems

Kategórie: COMPUTERS / Computer Science, SCIENCE / Physics / Mathematical & Computational

chemSKI with tokens: world building and economy in the SKI universe

Autori: Buliga, Marius

Predmety: 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)

Prístupová URL adresa: http://arxiv.org/abs/2306.00938

Foundations of Software Science and Computation Structures : 27th International Conference, FoSSaCS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

Autori: Naoki Kobayashi James Worrell

Typ zdroja: eBook.

Predmet: Computer software--Congresses, Software engineering--Congresses

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Computer Architecture, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, COMPUTERS / Hardware / General, MATHEMATICS / Applied, MATHEMATICS / Logic

Programming Languages and Systems : 34th European Symposium on Programming, ESOP 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I

Autori: Viktor Vafeiadis

Typ zdroja: eBook.

Predmet: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Kategórie: COMPUTERS / Languages / General, COMPUTERS / Programming / Compilers

Grammatical Theory

Autori: Müller, Stefan

Typ zdroja: eBook.

Predmet: Language acquisition, Language and languages--Study and teaching, Germanic languages--Syntax, Computational linguistics, Grammar, Comparative and general, Generative grammar, Government (Grammar)

Kategórie: LANGUAGE ARTS & DISCIPLINES / Linguistics / General

Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II

Autori: Stephanie Weirich

Typ zdroja: eBook.

Predmet: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Kategórie: COMPUTERS / Languages / General, COMPUTERS / Programming / Compilers

Programming Languages and Systems : 32nd European Symposium on Programming, ESOP 2023, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings

Autori: Thomas Wies

Typ zdroja: eBook.

Predmet: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Kategórie: COMPUTERS / Programming / Compilers

Programming Languages and Systems : 28th European Symposium on Programming, ESOP 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Autori: Luís Caires

Typ zdroja: eBook.

Predmet: Information theory, Computer industry, Computer science, Software engineering, Computer system performance, Electronic data processing

Kategórie: COMPUTERS / Programming / Compilers, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General

Programming Languages and Systems : 31st European Symposium on Programming, ESOP 2022, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings

Autori: Ilya Sergey

Typ zdroja: eBook.

Predmet: Computer programming--Congresses, Programming languages (Electronic computers)--Congresses

Kategórie: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Programming / General, COMPUTERS / Hardware / General

Grammatical Theory

Autori: Müller, Stefan

Typ zdroja: eBook.

Predmet: Language arts

Kategórie: LANGUAGE ARTS & DISCIPLINES / Linguistics / General

Programming Languages and Systems : 30th European Symposium on Programming, ESOP 2021, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings

Autori: Nobuko Yoshida

Typ zdroja: eBook.

Predmet: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses, Natural language processing (Computer science)

Kategórie: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Speech & Audio Processing

Grammatical Theory

Autori: Müller, Stefan

Typ zdroja: eBook.

Predmet: Computational linguistics, Language acquisition, Language and languages--Study and teaching, Linguistics, Generative grammar, Government (Grammar), Grammar, Comparative and general--Syntax, Germanic languages--Syntax

Kategórie: LANGUAGE ARTS & DISCIPLINES / Linguistics / General

Programming Languages and Systems : 29th European Symposium on Programming, ESOP 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

Autori: Peter Müller

Typ zdroja: eBook.

Predmet: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses, Natural language processing (Computer science)

Kategórie: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Hardware / General, COMPUTERS / Speech & Audio Processing

Grammatical Theory

Autori: Müller, Stefan

Typ zdroja: eBook.

Predmet: Linguistics, Computational linguistics, Language and languages--Study and teaching, Generative grammar, Government (Grammar), Grammar, Comparative and general--Syntax, Germanic languages--Syntax

Kategórie: LANGUAGE ARTS & DISCIPLINES / Linguistics / General

Foundations of Software Science and Computation Structures

Autori: Patricia Bouyer Lutz Schröder

Typ zdroja: eBook.

Predmet: Information theory, Software engineering--Congresses, Computer software--Congresses, Computer systems

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Computer Architecture, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, COMPUTERS / Hardware / General, MATHEMATICS / Applied, MATHEMATICS / Logic

Programming Languages and Systems : 27th European Symposium on Programming, ESOP 2018, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Autori: Amal Ahmed

Typ zdroja: eBook.

Predmet: Programming languages (Electronic computers), Computer organization, Computer science, Computers

Kategórie: COMPUTERS / Programming / Compilers, COMPUTERS / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Hardware / General

Grammatical Theory

Autori: Müller, Stefan

Typ zdroja: eBook.

Predmet: Language acquisition, Computational linguistics, Germanic languages--Syntax, Language and languages--Study and teaching, Government (Grammar), Generative grammar, Linguistics, Grammar, Comparative and general--Syntax

Kategórie: LANGUAGE ARTS & DISCIPLINES / Linguistics / General

Foundations of Software Science and Computation Structures : 28th International Conference, FoSSaCS 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings

Autori: Parosh Aziz Abdulla Delia Kesner

Typ zdroja: eBook.

Predmet: Computer software--Congresses, Software engineering--Congresses

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Computer Architecture, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, COMPUTERS / Hardware / General, MATHEMATICS / Applied, MATHEMATICS / Logic