المؤلفون: Stefański, Rafał

مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory, F.4.3

URL الوصول: http://arxiv.org/abs/2407.02704

المؤلفون: Stefański, Rafał

مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory, Computer Science - Computation and Language, F.4.3

URL الوصول: http://arxiv.org/abs/2406.18934

المؤلفون: Bojańczyk, Mikołaj, Nguyên, Lê Thành Dũng, Stefański, Rafał

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Formal Languages and Automata Theory, Mathematics - Logic

URL الوصول: http://arxiv.org/abs/2404.05265

المؤلفون: Bojańczyk, Mikołaj, Kelmendi, Edon, Stefański, Rafał, Zetzsche, Georg

مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory, Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2002.09393

المؤلفون: Bojańczyk, Mikołaj, Stefański, Rafał

مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory, F.1.1, F.4.3

URL الوصول: http://arxiv.org/abs/1907.10504

المؤلفون: Bojańczyk, Mikołaj, Stefański, Rafał

المساهمون: Mikołaj Bojańczyk and Rafał Stefański

مصطلحات موضوعية: Automata, semigroups, data words, orbit-finite sets

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 168, 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2020.113

الاتاحة: https://doi.org/10.4230/LIPIcs.ICALP.2020.113
https://nbn-resolving.org/urn:nbn:de:0030-drops-125200
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2020.113

المؤلفون: Bojańczyk, Mikołaj, Kelmendi, Edon, Stefański, Rafał, Zetzsche, Georg

المساهمون: European Research Council

المصدر: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science

الاتاحة: http://dx.doi.org/10.1145/3373718.3394779
https://dl.acm.org/doi/pdf/10.1145/3373718.3394779

المؤلفون: Stefański, Rafał (1963- ).

المساهمون: Olszański, Robert (1960- )., Wydawnictwo Profile (Warszawa). pbl

URL الوصول: http://katalog.nukat.edu.pl/lib/item?id=chamo:1649015&theme=nukat

المؤلفون: Stefański, Rafał (1963- ). Autor

المساهمون: Czarnota-Bojarska, Joanna (1966- ).

URL الوصول: http://katalog.nukat.edu.pl/lib/item?id=chamo:5633544&theme=nukat

المؤلفون: Bojańczyk, Mikołaj, Stefański, Rafał

المساهمون: Artur Czumaj, Anuj Dawar, Emanuela Merelli

المصدر: ICALP

مصطلحات موضوعية: Theory of computation → Formal languages and automata theory, data words, orbit-finite sets, Computer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing), Computer Science::Formal Languages and Automata Theory, Automata, semigroups

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f05acf16b6596379b8e2515dd30dae4c
https://doi.org/10.4230/lipics.icalp.2020.113

المؤلفون: Mikołaj Bojańczyk and Rafał Stefański, Bojańczyk, Mikołaj, Stefański, Rafał

مصطلحات الفهرس: Automata, semigroups, data words, orbit-finite sets, InProceedings, Text, doc-type:ResearchArticle, publishedVersion

URL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2020.113
Is Part Of LIPIcs, Volume 168, 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020)

المؤلفون: Stefański, Rafał

مصطلحات موضوعية: automaty rejestrowe, automaty Mealy’ego, dekompozycje Krohna-Rhodesa, logika liniowa, liniowe systemy typów, monoidy, monoidy skończenie orbitowe, zbiory z atomami, zbiory nominalne, funkcje regularne, funkcje wymierne na słowach, warunek jednorazowości, transduktory, automaty, języki regularne, nieskończone alfabety, infinite alphabets, regular languages, automata, transducers, single-use restriction, rational functions on words, regular functions, nominal sets, sets with atoms, orbit-finite monoids, monoids, linear type systems, linear logic, Krohn-Rhodes decompositions

وصف الملف: application/pdf

Relation: https://repozytorium.uw.edu.pl//handle/item/4817

الاتاحة: https://repozytorium.uw.edu.pl//handle/item/4817

المؤلفون: Stefański, Rafał, Czarnota-Bojarska, Joanna

Relation: 231-252; Psychologia biznesu : psychologia w biznesie; https://repozytorium.uw.edu.pl//handle/item/158897

الاتاحة: https://repozytorium.uw.edu.pl//handle/item/158897