Статті в журналах з теми "Algebraic automata theory"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся з топ-50 статей у журналах для дослідження на тему "Algebraic automata theory".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Переглядайте статті в журналах для різних дисциплін та оформлюйте правильно вашу бібліографію.
Pal, Priyanka, S. P. Tiwari, and Renu Verma. "Different Operators in Automata Theory Based on Residuated and Co-Residuated Lattices." New Mathematics and Natural Computation 15, no. 01 (December 25, 2018): 169–90. http://dx.doi.org/10.1142/s1793005719500108.
Повний текст джерелаChilton, Chris, Bengt Jonsson, and Marta Kwiatkowska. "An algebraic theory of interface automata." Theoretical Computer Science 549 (September 2014): 146–74. http://dx.doi.org/10.1016/j.tcs.2014.07.018.
Повний текст джерелаCadilhac, Michaël, Andreas Krebs, and Pierre McKenzie. "The Algebraic Theory of Parikh Automata." Theory of Computing Systems 62, no. 5 (November 7, 2017): 1241–68. http://dx.doi.org/10.1007/s00224-017-9817-2.
Повний текст джерелаvan Heerdt, Gerco, Joshua Moerman, Matteo Sammartino, and Alexandra Silva. "A (co)algebraic theory of succinct automata." Journal of Logical and Algebraic Methods in Programming 105 (June 2019): 112–25. http://dx.doi.org/10.1016/j.jlamp.2019.02.008.
Повний текст джерелаNovák, Michal, Štepán Křehlík, and Kyriakos Ovaliadis. "Elements of Hyperstructure Theory in UWSN Design and Data Aggregation." Symmetry 11, no. 6 (May 29, 2019): 734. http://dx.doi.org/10.3390/sym11060734.
Повний текст джерелаANTIĆ, CHRISTIAN. "On Cascade Products of Answer Set Programs." Theory and Practice of Logic Programming 14, no. 4-5 (July 2014): 711–23. http://dx.doi.org/10.1017/s1471068414000301.
Повний текст джерелаDerksen, Harm, Emmanuel Jeandel, and Pascal Koiran. "Quantum automata and algebraic groups." Journal of Symbolic Computation 39, no. 3-4 (March 2005): 357–71. http://dx.doi.org/10.1016/j.jsc.2004.11.008.
Повний текст джерелаAmbainis, Andris, Martin Beaudry, Marats Golovkins, Arnolds Kikusts, Mark Mercer, and Denis Therien. "Algebraic Results on Quantum Automata." Theory of Computing Systems 39, no. 1 (November 29, 2005): 165–88. http://dx.doi.org/10.1007/s00224-005-1263-x.
Повний текст джерелаPal, Priyanka, S. P. Tiwari, and J. Kavikumar. "Measure of Operators Associated with Fuzzy Automata." New Mathematics and Natural Computation 16, no. 01 (March 2020): 17–35. http://dx.doi.org/10.1142/s1793005720500027.
Повний текст джерелаLE SAEC, BERTRAND, JEAN-ERIC PIN, and PASCAL WEIL. "SEMIGROUPS WITH IDEMPOTENT STABILIZERS AND APPLICATIONS TO AUTOMATA THEORY." International Journal of Algebra and Computation 01, no. 03 (September 1991): 291–314. http://dx.doi.org/10.1142/s0218196791000195.
Повний текст джерелаKalampakas, Antonios. "Graph Automata and Graph Colorability." European Journal of Pure and Applied Mathematics 16, no. 1 (January 29, 2023): 112–20. http://dx.doi.org/10.29020/nybg.ejpam.v16i1.4629.
Повний текст джерелаKuich, Werner. "Pushdown Tree Automata, Algebraic Tree Systems, and Algebraic Tree Series." Information and Computation 165, no. 1 (February 2001): 69–99. http://dx.doi.org/10.1006/inco.2000.2908.
Повний текст джерелаPodlovchenko, R. I. "Finite state automata in the theory of algebraic program schemata." Proceedings of the Institute for System Programming of the RAS 27, no. 2 (2015): 161–72. http://dx.doi.org/10.15514/ispras-2015-27(2)-10.
Повний текст джерелаKedlaya, Kiran S. "Finite automata and algebraic extensions of function fields." Journal de Théorie des Nombres de Bordeaux 18, no. 2 (2006): 379–420. http://dx.doi.org/10.5802/jtnb.551.
Повний текст джерелаKřehlík, Štěpán. "n-Ary Cartesian Composition of Multiautomata with Internal Link for Autonomous Control of Lane Shifting." Mathematics 8, no. 5 (May 21, 2020): 835. http://dx.doi.org/10.3390/math8050835.
Повний текст джерелаKim, S. H., and N. P. Suh. "Mathematical Foundations for Manufacturing." Journal of Engineering for Industry 109, no. 3 (August 1, 1987): 213–18. http://dx.doi.org/10.1115/1.3187121.
Повний текст джерелаEbas, Nur Ain, Nor Shamsidah Amir Hamzah, Kavikumar Jacob, and Mohd Saifullah Rusiman. "Fuzzy Finite Switchboard Automata with Complete Residuated Lattices." International Journal of Engineering & Technology 7, no. 4.30 (November 30, 2018): 160. http://dx.doi.org/10.14419/ijet.v7i4.30.22099.
Повний текст джерелаCardona, R., and N. Galatos. "The finite embeddability property for noncommutative knotted extensions of RL." International Journal of Algebra and Computation 25, no. 03 (April 9, 2015): 349–79. http://dx.doi.org/10.1142/s0218196715500010.
Повний текст джерелаLetychevskyi, Oleksandr. "Algebraic School of V.M. Glushkov and Insertion Modeling." Cybernetics and Computer Technologies, no. 4 (December 4, 2023): 8–15. http://dx.doi.org/10.34229/2707-451x.23.4.2.
Повний текст джерелаComin, Carlo. "Algebraic Characterization of the Class of Languages Recognized by Measure Only Quantum Automata." Fundamenta Informaticae 134, no. 3-4 (2014): 335–53. http://dx.doi.org/10.3233/fi-2014-1105.
Повний текст джерелаSemerenko, Vasyl, and Oleksandr Voinalovich. "The simplification of computationals in error correction coding." Technology audit and production reserves 3, no. 2(59) (June 30, 2021): 24–28. http://dx.doi.org/10.15587/2706-5448.2021.233656.
Повний текст джерелаJin, Jianhua, Qingguo Li, and Chunquan Li. "On Intuitionistic Fuzzy Context-Free Languages." Journal of Applied Mathematics 2013 (2013): 1–16. http://dx.doi.org/10.1155/2013/825249.
Повний текст джерелаChen, Yu-Fang, Kai-Min Chung, Ondřej Lengál, Jyun-Ao Lin, Wei-Lun Tsai, and Di-De Yen. "An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits." Proceedings of the ACM on Programming Languages 7, PLDI (June 6, 2023): 1218–43. http://dx.doi.org/10.1145/3591270.
Повний текст джерелаAttou, Samira, Ludovic Mignot, Clément Miklarz, and Florent Nicart. "Monadic Expressions and Their Derivatives." RAIRO - Theoretical Informatics and Applications 58 (2024): 6. http://dx.doi.org/10.1051/ita/2023014.
Повний текст джерелаGulistan, Muhammad, Feng Feng, Madad Khan, and Aslıhan Sezgin. "Characterizations of Right Weakly Regular Semigroups in Terms of Generalized Cubic Soft Sets." Mathematics 6, no. 12 (November 30, 2018): 293. http://dx.doi.org/10.3390/math6120293.
Повний текст джерелаBystrova, I. V., and B. P. Podkopaev. "Fault Isolation in Network of State Automates." Journal of the Russian Universities. Radioelectronics 23, no. 1 (February 28, 2020): 18–29. http://dx.doi.org/10.32603/1993-8985-2020-23-1-18-29.
Повний текст джерелаDenis, Laurent. "Méthodes fonctionnelles pour la transcendance en caractéristique finie." Bulletin of the Australian Mathematical Society 50, no. 2 (October 1994): 273–86. http://dx.doi.org/10.1017/s0004972700013733.
Повний текст джерелаJones, Nick G., and Noah Linden. "Integrable spin chains and the Clifford group." Journal of Mathematical Physics 63, no. 10 (October 1, 2022): 101901. http://dx.doi.org/10.1063/5.0095870.
Повний текст джерелаKÁDÁR, ZOLTÁN, ANNALISA MARZUOLI, and MARIO RASETTI. "BRAIDING AND ENTANGLEMENT IN SPIN NETWORKS: A COMBINATORIAL APPROACH TO TOPOLOGICAL PHASES." International Journal of Quantum Information 07, supp01 (January 2009): 195–203. http://dx.doi.org/10.1142/s0219749909004785.
Повний текст джерелаPicantin, Matthieu. "Automatic Structures for Torus Link Groups." Journal of Knot Theory and Its Ramifications 12, no. 06 (September 2003): 833–66. http://dx.doi.org/10.1142/s0218216503002627.
Повний текст джерелаGornev, E. S., and I. V. Matyushkin. "A discussion of S.M. Krylov’s book «Neocybernetics» (2008)." Russian Technological Journal 9, no. 6 (December 2, 2021): 73–87. http://dx.doi.org/10.32362/2500-316x-2021-9-6-73-87.
Повний текст джерелаГайдур, Галина Іванівна, Сергій Олександрович Гахов та Віталій Вікторович Марченко. "Метод побудови динамічної моделі логічного об’єкта інформаційної системи та визначення закону його функціонування". RADIOELECTRONIC AND COMPUTER SYSTEMS, № 1 (23 лютого 2022): 129–40. http://dx.doi.org/10.32620/reks.2022.1.10.
Повний текст джерелаBrieussel, Jérémie. "An automata group of intermediate growth and exponential activity." Journal of Group Theory 21, no. 4 (July 1, 2018): 573–78. http://dx.doi.org/10.1515/jgth-2017-0046.
Повний текст джерелаWiweger, Antoni. "Free Games over Coloured Automata." Fundamenta Informaticae 8, no. 2 (April 1, 1985): 199–224. http://dx.doi.org/10.3233/fi-1985-8204.
Повний текст джерелаChamparnaud, J. M., and G. Hansel. "AUTOMATE, a computing package for automata and finite semigroups." Journal of Symbolic Computation 12, no. 2 (August 1991): 197–220. http://dx.doi.org/10.1016/s0747-7171(08)80125-3.
Повний текст джерелаD'Angeli, Daniele, Dominik Francoeur, Emanuele Rodaro, and Jan Philipp Wächter. "On the orbits of automaton semigroups and groups." Algebra and Discrete Mathematics 33, no. 1 (2022): 1–29. http://dx.doi.org/10.12958/adm1692.
Повний текст джерелаFABERT, OLIVER. "LOCAL SYMPLECTIC FIELD THEORY." International Journal of Mathematics 24, no. 05 (May 2013): 1350041. http://dx.doi.org/10.1142/s0129167x13500419.
Повний текст джерелаPeltier, Nicolas. "Tree Automata and Automated Model Building." Fundamenta Informaticae 30, no. 1 (1997): 59–81. http://dx.doi.org/10.3233/fi-1997-30105.
Повний текст джерелаMartiník, Ivo. "Automation of Presentation Record Production Based on Rich-Media Technology Using SNT Petri Nets Theory." Scientific World Journal 2015 (2015): 1–19. http://dx.doi.org/10.1155/2015/303705.
Повний текст джерелаDunets, Andriy, Gerhard Schellhorn, and Wolfgang Reif. "Automated Flaw Detection in Algebraic Specifications." Journal of Automated Reasoning 45, no. 4 (January 29, 2010): 359–95. http://dx.doi.org/10.1007/s10817-010-9166-1.
Повний текст джерелаGanty, Pierre, Elena Gutiérrez, and Pedro Valero. "A Congruence-Based Perspective on Finite Tree Automata." Fundamenta Informaticae 184, no. 1 (January 10, 2022): 1–47. http://dx.doi.org/10.3233/fi-2021-2091.
Повний текст джерелаOtto, Friedrich. "A Complete Taxonomy of Restarting Automata without Auxiliary Symbols*." Fundamenta Informaticae 180, no. 1-2 (May 12, 2021): 77–101. http://dx.doi.org/10.3233/fi-2021-2035.
Повний текст джерелаKutylowski, Miroslaw. "Chains of Finite Automat a with Bounded Number of Chains1." Fundamenta Informaticae 11, no. 3 (July 1, 1988): 267–73. http://dx.doi.org/10.3233/fi-1988-11304.
Повний текст джерелаLöding, Christof, та Max Philip Stachon. "On Minimization and Learning of Deterministic ω-Automata in the Presence of Don’t Care Words". Fundamenta Informaticae 189, № 1 (7 липня 2023): 69–91. http://dx.doi.org/10.3233/fi-222152.
Повний текст джерелаFernau, Henning, Martin Kutrib, and Matthias Wendlandt. "Self-Verifying Pushdown and Queue Automata." Fundamenta Informaticae 180, no. 1-2 (May 12, 2021): 1–28. http://dx.doi.org/10.3233/fi-2021-2032.
Повний текст джерелаPighizzini, Giovanni, and Luca Prigioniero. "Non-Self-Embedding Grammars and Descriptional Complexity." Fundamenta Informaticae 180, no. 1-2 (May 12, 2021): 103–22. http://dx.doi.org/10.3233/fi-2021-2036.
Повний текст джерелаČerný, Anton, and Jozef Gruska. "Modular Real-Time Trellis Automata." Fundamenta Informaticae 9, no. 3 (July 1, 1986): 253–82. http://dx.doi.org/10.3233/fi-1986-9302.
Повний текст джерелаBeyne, Tim, and Michiel Verbauwhede. "Integral Cryptanalysis Using Algebraic Transition Matrices." IACR Transactions on Symmetric Cryptology 2023, no. 4 (December 8, 2023): 244–69. http://dx.doi.org/10.46586/tosc.v2023.i4.244-269.
Повний текст джерелаDobronravov, Egor, Nikita Dobronravov, and Alexander Okhotin. "On the Length of Shortest Strings Accepted by Two-way Finite Automata." Fundamenta Informaticae 180, no. 4 (June 30, 2021): 315–31. http://dx.doi.org/10.3233/fi-2021-2044.
Повний текст джерелаSakai, Masahiko, Toshiki Sakabe, and Yasuyoshi Inagaki. "Algebraic specification and automatic generation of compilers." Systems and Computers in Japan 23, no. 2 (1992): 1–13. http://dx.doi.org/10.1002/scj.4690230201.
Повний текст джерела