Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Ukraiński (UK)
Przejdź do strony domowej biblioteki Uniwersytet Ekonomiczny we Wrocławiu Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaUniwersytet Ekonomiczny we Wrocławiu

Wyszukujesz frazę ""Computer Science - Formal Languages and Automata Theory"" wg kryterium: Temat

  Lista filtrów
Wyrównaj
Wyświetlanie 1-20 z 202
Tytuł:
A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct
Autorzy:
Shibashis Guha
Ismaël Jecker
Karoliina Lehtinen
Martin Zimmermann
Pokaż więcej
Temat:
computer science - formal languages and automata theory
computer science - logic in computer science
Logic
BC1-199
Electronic computers. Computer science
QA75.5-76.95
Źródło:
Logical Methods in Computer Science, Vol Volume 20, Issue 1 (2024)
Opis pliku:
electronic resource
Relacje:
https://lmcs.episciences.org/10156/pdf; https://doaj.org/toc/1860-5974
Dostęp URL:
https://doaj.org/article/03ee626ded51408a95e4d810f7c4816d  Link otwiera się w nowym oknie
Czasopismo naukowe
Szczegóły
Tytuł:
Simulation by Rounds of Letter-to-Letter Transducers
Autorzy:
Antonio Abu Nassar
Shaull Almagor
Pokaż więcej
Temat:
computer science - formal languages and automata theory
computer science - logic in computer science
Logic
BC1-199
Electronic computers. Computer science
QA75.5-76.95
Źródło:
Logical Methods in Computer Science, Vol Volume 19, Issue 4 (2023)
Opis pliku:
electronic resource
Relacje:
https://lmcs.episciences.org/9920/pdf; https://doaj.org/toc/1860-5974
Dostęp URL:
https://doaj.org/article/74ea46346726421abfa952a5eb102fff  Link otwiera się w nowym oknie
Czasopismo naukowe
Szczegóły
Tytuł:
Synchronizability of Communicating Finite State Machines is not Decidable
Autorzy:
Alain Finkel
Etienne Lozes
Pokaż więcej
Temat:
computer science - distributed, parallel, and cluster computing
computer science - formal languages and automata theory
Logic
BC1-199
Electronic computers. Computer science
QA75.5-76.95
Źródło:
Logical Methods in Computer Science, Vol Volume 19, Issue 4 (2023)
Opis pliku:
electronic resource
Relacje:
https://lmcs.episciences.org/4764/pdf; https://doaj.org/toc/1860-5974
Dostęp URL:
https://doaj.org/article/376cf254b0e84f2f864024ad5e6a3a58  Link otwiera się w nowym oknie
Czasopismo naukowe
Szczegóły
Tytuł:
Model Checking Temporal Properties of Recursive Probabilistic Programs
Autorzy:
Tobias Winkler
Christina Gehnen
Joost-Pieter Katoen
Pokaż więcej
Temat:
computer science - formal languages and automata theory
computer science - logic in computer science
Logic
BC1-199
Electronic computers. Computer science
QA75.5-76.95
Źródło:
Logical Methods in Computer Science, Vol Volume 19, Issue 4 (2023)
Opis pliku:
electronic resource
Relacje:
https://lmcs.episciences.org/10029/pdf; https://doaj.org/toc/1860-5974
Dostęp URL:
https://doaj.org/article/66a38ab904844f9cb48f41ed67334b21  Link otwiera się w nowym oknie
Czasopismo naukowe
Szczegóły
Tytuł:
A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings
Autorzy:
Gustav Grabolle
Pokaż więcej
Temat:
computer science - logic in computer science
computer science - formal languages and automata theory
f.4.1
f.4.3
f.1.1
Logic
BC1-199
Electronic computers. Computer science
QA75.5-76.95
Źródło:
Logical Methods in Computer Science, Vol Volume 19, Issue 4 (2023)
Opis pliku:
electronic resource
Relacje:
https://lmcs.episciences.org/9215/pdf; https://doaj.org/toc/1860-5974
Dostęp URL:
https://doaj.org/article/143c0f02974d48dcb6e4c7b8aa800dd5  Link otwiera się w nowym oknie
Czasopismo naukowe
Szczegóły
Tytuł:
Decision Questions for Probabilistic Automata on Small Alphabets
Autorzy:
Paul C. Bell
Pavel Semukhin
Pokaż więcej
Temat:
computer science - formal languages and automata theory
computer science - logic in computer science
Logic
BC1-199
Electronic computers. Computer science
QA75.5-76.95
Źródło:
Logical Methods in Computer Science, Vol Volume 19, Issue 4 (2023)
Opis pliku:
electronic resource
Relacje:
https://lmcs.episciences.org/9753/pdf; https://doaj.org/toc/1860-5974
Dostęp URL:
https://doaj.org/article/a6c557d953c24dd786d8f26d8cfc350c  Link otwiera się w nowym oknie
Czasopismo naukowe
Szczegóły
Tytuł:
Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages
Autorzy:
Dino Mandrioli
Matteo Pradella
Stefano Crespi Reghizzi
Pokaż więcej
Temat:
computer science - formal languages and automata theory
computer science - logic in computer science
Logic
BC1-199
Electronic computers. Computer science
QA75.5-76.95
Źródło:
Logical Methods in Computer Science, Vol Volume 19, Issue 4 (2023)
Opis pliku:
electronic resource
Relacje:
https://lmcs.episciences.org/9684/pdf; https://doaj.org/toc/1860-5974
Dostęp URL:
https://doaj.org/article/5d1170c08f27440eab8ca7866d52c795  Link otwiera się w nowym oknie
Czasopismo naukowe
Szczegóły
Tytuł:
A model of actors and grey failures
Autorzy:
Laura Bocchi
Julien Lange
Simon Thompson
A. Laura Voinea
Pokaż więcej
Temat:
computer science - formal languages and automata theory
Logic
BC1-199
Electronic computers. Computer science
QA75.5-76.95
Źródło:
Logical Methods in Computer Science, Vol Volume 19, Issue 4 (2023)
Opis pliku:
electronic resource
Relacje:
https://lmcs.episciences.org/10238/pdf; https://doaj.org/toc/1860-5974
Dostęp URL:
https://doaj.org/article/88d897bd45574091bd5d70f01b84f34d  Link otwiera się w nowym oknie
Czasopismo naukowe
Szczegóły
Tytuł:
Token Games and History-Deterministic Quantitative-Automata
Autorzy:
Udi Boker
Karoliina Lehtinen
Pokaż więcej
Temat:
computer science - formal languages and automata theory
Logic
BC1-199
Electronic computers. Computer science
QA75.5-76.95
Źródło:
Logical Methods in Computer Science, Vol Volume 19, Issue 4 (2023)
Opis pliku:
electronic resource
Relacje:
https://lmcs.episciences.org/9922/pdf; https://doaj.org/toc/1860-5974
Dostęp URL:
https://doaj.org/article/b50ddae343d74b6ca62594ebc750346c  Link otwiera się w nowym oknie
Czasopismo naukowe
Szczegóły
Tytuł:
The Power-Set Construction for Tree Algebras
Autorzy:
Achim Blumensath
Pokaż więcej
Temat:
computer science - formal languages and automata theory
Logic
BC1-199
Electronic computers. Computer science
QA75.5-76.95
Źródło:
Logical Methods in Computer Science, Vol Volume 19, Issue 4 (2023)
Opis pliku:
electronic resource
Relacje:
https://lmcs.episciences.org/9781/pdf; https://doaj.org/toc/1860-5974
Dostęp URL:
https://doaj.org/article/c5cd806cdd2e42a69f1833a69ebc2c73  Link otwiera się w nowym oknie
Czasopismo naukowe
Szczegóły
Tytuł:
Locality and Centrality: The Variety ZG
Autorzy:
Antoine Amarilli
Charles Paperman
Pokaż więcej
Temat:
computer science - formal languages and automata theory
Logic
BC1-199
Electronic computers. Computer science
QA75.5-76.95
Źródło:
Logical Methods in Computer Science, Vol Volume 19, Issue 4 (2023)
Opis pliku:
electronic resource
Relacje:
https://lmcs.episciences.org/11555/pdf; https://doaj.org/toc/1860-5974
Dostęp URL:
https://doaj.org/article/0e07939e8b2445b4b6275e0409944b6a  Link otwiera się w nowym oknie
Czasopismo naukowe
Szczegóły
Tytuł:
Pseudoperiodic Words and a Question of Shevelev
Autorzy:
Joseph Meleshko
Pascal Ochem
Jeffrey Shallit
Sonja Linghui Shan
Pokaż więcej
Temat:
mathematics - combinatorics
computer science - discrete mathematics
computer science - formal languages and automata theory
Mathematics
QA1-939
Źródło:
Discrete Mathematics & Theoretical Computer Science, Vol vol. 25:2, Iss Automata, Logic and Semantics (2023)
Opis pliku:
electronic resource
Relacje:
https://dmtcs.episciences.org/9919/pdf; https://doaj.org/toc/1365-8050
Dostęp URL:
https://doaj.org/article/95a9b9f94eb54458bd28dcee33849067  Link otwiera się w nowym oknie
Czasopismo naukowe
Szczegóły
Tytuł:
Dissecting power of intersection of two context-free languages
Autorzy:
Josef Rukavicka
Pokaż więcej
Temat:
computer science - formal languages and automata theory
computer science - discrete mathematics
68q45
Mathematics
QA1-939
Źródło:
Discrete Mathematics & Theoretical Computer Science, Vol vol. 25:2, Iss Automata, Logic and Semantics (2023)
Opis pliku:
electronic resource
Relacje:
https://dmtcs.episciences.org/9063/pdf; https://doaj.org/toc/1365-8050
Dostęp URL:
https://doaj.org/article/daf91981c3c74785915e9dc87d07610a  Link otwiera się w nowym oknie
Czasopismo naukowe
Szczegóły
Wyświetlanie 1-20 z 202

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies