Gotowa bibliografia na temat „Omega-Regular languages”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Zobacz listy aktualnych artykułów, książek, rozpraw, streszczeń i innych źródeł naukowych na temat „Omega-Regular languages”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Artykuły w czasopismach na temat "Omega-Regular languages"
Angluin, Dana, i Dana Fisman. "Learning regular omega languages". Theoretical Computer Science 650 (październik 2016): 57–72. http://dx.doi.org/10.1016/j.tcs.2016.07.031.
Pełny tekst źródłaAngluin, Dana, i Dana Fisman. "Regular omega-Languages with an Informative Right Congruence". Electronic Proceedings in Theoretical Computer Science 277 (7.09.2018): 265–79. http://dx.doi.org/10.4204/eptcs.277.19.
Pełny tekst źródłaFalah, Amin, Shibashis Guha i Ashutosh Trivedi. "Reinforcement Learning for Omega-Regular Specifications on Continuous-Time MDP". Proceedings of the International Conference on Automated Planning and Scheduling 33, nr 1 (1.07.2023): 578–86. http://dx.doi.org/10.1609/icaps.v33i1.27239.
Pełny tekst źródłaAlmeida, J., J. C. Costa i M. Zeitoun. "McCammond’s normal forms for free aperiodic semigroups revisited". LMS Journal of Computation and Mathematics 18, nr 1 (2015): 130–47. http://dx.doi.org/10.1112/s1461157014000448.
Pełny tekst źródłaGnatenko, Anton Romanovich, i Vladimir Anatolyevich Zakharov. "On the Model Checking Problem for Some Extension of CTL*". Modeling and Analysis of Information Systems 27, nr 4 (20.12.2020): 428–41. http://dx.doi.org/10.18255/1818-1015-2020-4-428-441.
Pełny tekst źródłaCURRIE, JAMES D., NARAD RAMPERSAD i KALLE SAARI. "Suffix conjugates for a class of morphic subshifts". Ergodic Theory and Dynamical Systems 35, nr 6 (4.06.2014): 1767–82. http://dx.doi.org/10.1017/etds.2014.5.
Pełny tekst źródłaHuy, Phan Trung, i Nguyễn Quý Khang. "Regular omega-languages and finite monoids having infinite products." Journal of Computer Science and Cybernetics 19, nr 2 (26.07.2012). http://dx.doi.org/10.15625/1813-9663/19/2/1512.
Pełny tekst źródłaRabinovich, Alexander, i Doron Tiferet. "Ambiguity Hierarchy of Regular Infinite Tree Languages". Logical Methods in Computer Science Volume 17, Issue 3 (13.08.2021). http://dx.doi.org/10.46298/lmcs-17(3:18)2021.
Pełny tekst źródłaKlarlund, Nils, Madhavan Mukund i Milind Sohoni. "Determinizing Asynchronous Automata on Infinite Inputs". BRICS Report Series 2, nr 58 (28.11.1995). http://dx.doi.org/10.7146/brics.v2i58.19959.
Pełny tekst źródłaBartholdi, Laurent, i Marialaura Noce. "Tree languages and branched groups". Mathematische Zeitschrift 303, nr 4 (20.03.2023). http://dx.doi.org/10.1007/s00209-023-03249-y.
Pełny tekst źródłaKsiążki na temat "Omega-Regular languages"
Greek Exercise Book: The Noun and the Regular Verb In -[Omega. Creative Media Partners, LLC, 2022.
Znajdź pełny tekst źródłaGreek Exercise Book: The Noun and the Regular Verb In -[Omega. Creative Media Partners, LLC, 2018.
Znajdź pełny tekst źródłaGreek Exercise Book: The Noun and the Regular Verb In -[Omega. Creative Media Partners, LLC, 2022.
Znajdź pełny tekst źródłaKaegi, Adolf, Henri Ternaux-Compans i James Aloysius Kleist. Greek Exercise Book: The Noun and the Regular Verb in -[omega. Franklin Classics Trade Press, 2018.
Znajdź pełny tekst źródłaKaegi, Adolf, Henri Ternaux-Compans i James Aloysius Kleist. Greek Exercise Book: The Noun and the Regular Verb In -[Omega. Creative Media Partners, LLC, 2018.
Znajdź pełny tekst źródłaCzęści książek na temat "Omega-Regular languages"
Angluin, Dana, i Dana Fisman. "Learning Regular Omega Languages". W Lecture Notes in Computer Science, 125–39. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-11662-4_10.
Pełny tekst źródłaEdixhoven, Luc, i Sung-Shik Jongmans. "Balanced-By-Construction Regular and $$\omega $$-Regular Languages". W Developments in Language Theory, 130–42. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81508-0_11.
Pełny tekst źródłaDimitrova, Rayna, Bernd Finkbeiner i Hazem Torfah. "Approximate Automata for Omega-Regular Languages". W Automated Technology for Verification and Analysis, 334–49. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-31784-3_19.
Pełny tekst źródłaChen, Zhe, Yunyun Chen, Robert M. Hierons i Yifan Wu. "Four-Valued Monitorability of $$\omega $$-Regular Languages". W Formal Methods and Software Engineering, 198–214. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-63406-3_12.
Pełny tekst źródłaOrekhovskii, Vladislav, i Victor Selivanov. "Logic vs Topology on Regular $$\omega $$-languages". W Lecture Notes in Computer Science, 141–53. Cham: Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-36978-0_12.
Pełny tekst źródłaSkrzypczak, Michał. "Separation for $$\omega \mathrm {B}$$ - and $$\omega \mathrm {S}$$ -regular Languages". W Descriptive Set Theoretic Methods in Automata Theory, 183–203. Berlin, Heidelberg: Springer Berlin Heidelberg, 2016. http://dx.doi.org/10.1007/978-3-662-52947-8_11.
Pełny tekst źródłaMichaud, Thibaud, i Alexandre Duret-Lutz. "Practical Stutter-Invariance Checks for $$\omega $$ -Regular Languages". W Model Checking Software, 84–101. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-23404-5_7.
Pełny tekst źródłaWinkler, Tobias, Christina Gehnen i Joost-Pieter Katoen. "Model Checking Temporal Properties of Recursive Probabilistic Programs". W Lecture Notes in Computer Science, 449–69. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-99253-8_23.
Pełny tekst źródłaLöding, Christof, i Anton Pirogov. "Ambiguity, Weakness, and Regularity in Probabilistic Büchi Automata". W Lecture Notes in Computer Science, 522–41. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-45231-5_27.
Pełny tekst źródłaLi, Yong, Sven Schewe i Qiyi Tang. "A Novel Family of Finite Automata for Recognizing and Learning $$\omega $$-Regular Languages". W Automated Technology for Verification and Analysis, 53–73. Cham: Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-45329-8_3.
Pełny tekst źródłaStreszczenia konferencji na temat "Omega-Regular languages"
Chen, Jianhui, i Fei He. "Proving almost-sure termination by omega-regular decomposition". W PLDI '20: 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation. New York, NY, USA: ACM, 2020. http://dx.doi.org/10.1145/3385412.3386002.
Pełny tekst źródła