Skachkov, N. A.; Vorontsov, K. V. Improving the quality of machine translation using the reverse model. (English. Russian original) Zbl 1511.68290 Autom. Remote Control 83, No. 12, 1897-1907 (2022); translation from Avtom. Telemekh. 2022, No. 12, 31-43 (2022). Reviewer: Catalin Stoean (Craiova) MSC: 68T50 PDFBibTeX XMLCite \textit{N. A. Skachkov} and \textit{K. V. Vorontsov}, Autom. Remote Control 83, No. 12, 1897--1907 (2022; Zbl 1511.68290); translation from Avtom. Telemekh. 2022, No. 12, 31--43 (2022) Full Text: DOI
Pighizzini, Giovanni; Rovan, Branislav; Sádovský, Šimon Usefulness of information and unary languages. (English) Zbl 07405983 Leporati, Alberto (ed.) et al., Language and automata theory and applications. 15th international conference, LATA 2021, Milan, Italy, March 1–5, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12638, 131-142 (2021). MSC: 68Q45 PDFBibTeX XMLCite \textit{G. Pighizzini} et al., Lect. Notes Comput. Sci. 12638, 131--142 (2021; Zbl 07405983) Full Text: DOI
Abrusci, V. Michele; Maieli, Roberto Proof nets for multiplicative cyclic linear logic and Lambek calculus. (English) Zbl 1456.03092 Math. Struct. Comput. Sci. 29, No. 6, 733-762 (2019). MSC: 03F52 03B47 03F07 PDFBibTeX XMLCite \textit{V. M. Abrusci} and \textit{R. Maieli}, Math. Struct. Comput. Sci. 29, No. 6, 733--762 (2019; Zbl 1456.03092) Full Text: DOI
Otto, Friedrich; Mráz, František Automata with cyclic move operations for picture languages. (English) Zbl 1423.68263 RAIRO, Theor. Inform. Appl. 52, No. 2-4, 235-251 (2018). MSC: 68Q45 PDFBibTeX XMLCite \textit{F. Otto} and \textit{F. Mráz}, RAIRO, Theor. Inform. Appl. 52, No. 2--4, 235--251 (2018; Zbl 1423.68263) Full Text: DOI
Iosif, Radu; Serban, Cristina A complete cyclic proof system for inductive entailments in first order logic. (English) Zbl 1416.03027 Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 435-453 (2018). MSC: 03F07 03D05 PDFBibTeX XMLCite \textit{R. Iosif} and \textit{C. Serban}, EPiC Ser. Comput. 57, 435--453 (2018; Zbl 1416.03027) Full Text: DOI
Abrusci, Vito Michele; Maieli, Roberto Cyclic multiplicative proof nets of linear logic with an application to language parsing. (English) Zbl 1365.03039 Paiva, Valeria (ed.) et al., Logic, language, information, and computation. 22nd international workshop, WoLLIC 2015, Bloomington, IN, USA, July 20–23, 2015. Proceedings. Berlin: Springer (ISBN 978-3-662-47708-3/pbk; 978-3-662-47709-0/ebook). Lecture Notes in Computer Science 9160, 53-68 (2015). MSC: 03F52 03B47 03B65 03B70 68T50 PDFBibTeX XMLCite \textit{V. M. Abrusci} and \textit{R. Maieli}, Lect. Notes Comput. Sci. 9160, 53--68 (2015; Zbl 1365.03039) Full Text: DOI
Bacquey, Nicolas Complexity classes on spatially periodic cellular automata. (English) Zbl 1359.68204 Mayr, Ernst W. (ed.) et al., 31st international symposium on theoretical aspects of computer science, STACS’ 14, Lyon, France, March 5–8, 2014. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-65-1). LIPIcs – Leibniz International Proceedings in Informatics 25, 112-124 (2014). MSC: 68Q80 68Q15 68Q45 PDFBibTeX XMLCite \textit{N. Bacquey}, LIPIcs -- Leibniz Int. Proc. Inform. 25, 112--124 (2014; Zbl 1359.68204) Full Text: DOI
Chebotarev, A. N. Regular form of deterministic FSMs specifications in the language L. (Russian. English summary) Zbl 1472.68084 Prikl. Diskretn. Mat. 2010, No. 4(10), 64-72 (2010). MSC: 68Q60 68Q45 PDFBibTeX XMLCite \textit{A. N. Chebotarev}, Prikl. Diskretn. Mat. 2010, No. 4(10), 64--72 (2010; Zbl 1472.68084) Full Text: MNR
Dassow, Jürgen; Martín, Gema M.; Vico, Francisco J. A similarity measure for cyclic unary regular languages. (English) Zbl 1200.68137 Fundam. Inform. 96, No. 1-2, 71-88 (2009). MSC: 68Q45 PDFBibTeX XMLCite \textit{J. Dassow} et al., Fundam. Inform. 96, No. 1--2, 71--88 (2009; Zbl 1200.68137) Full Text: DOI
Gruber, Hermann; Holzer, Markus Language operations with regular expressions of polynomial size. (English) Zbl 1176.68105 Theor. Comput. Sci. 410, No. 35, 3281-3289 (2009). MSC: 68Q45 PDFBibTeX XMLCite \textit{H. Gruber} and \textit{M. Holzer}, Theor. Comput. Sci. 410, No. 35, 3281--3289 (2009; Zbl 1176.68105) Full Text: DOI
Bournez, Olivier; Ibănescu, Liliana; Kirchner, Hélène From chemical rules to term rewriting. (English) Zbl 1276.68088 Cristea, Horatiu (ed.) et al., Proceedings of the 6th international workshop on rule-based programming (RULE 2005), Nara, Japan, April 23, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 147, No. 1, 113-134 (2006). MSC: 68Q42 68R10 PDFBibTeX XMLCite \textit{O. Bournez} et al., Electron. Notes Theor. Comput. Sci. 147, No. 1, 113--134 (2006; Zbl 1276.68088) Full Text: Link
Najah, Said; Mrabti, Mostafa VHDL conception and implementation on FPGA of (15,k,d) Reed-Solomon code. (Conception VHDL et implémentation sur FPGA du code Reed Solomon (15,k,d).) (French. English summary) Zbl 1084.94527 Trait. Signal 22, No. 2, 149-155 (2005). MSC: 94B35 94B15 94B05 PDFBibTeX XMLCite \textit{S. Najah} and \textit{M. Mrabti}, Trait. Signal 22, No. 2, 149--155 (2005; Zbl 1084.94527)
Lastovetsky, Alexey L. Parallel computing on heterogeneous networks. (English) Zbl 1049.68020 Wiley Series on Parallel and Distributed Computing. Hoboken, NJ: Wiley (ISBN 0-471-22982-2/hbk; 978-0-471-65416-2/ebook). xiii, 423 p. (2003). Reviewer: Nikolay Yakovlevich Tikhonenko (Odessa) MSC: 68M10 68Q10 68-02 68N19 65Y05 PDFBibTeX XMLCite \textit{A. L. Lastovetsky}, Parallel computing on heterogeneous networks. Hoboken, NJ: Wiley (2003; Zbl 1049.68020) Full Text: DOI
Wallis, Sean; Nelson, Gerald Knowledge discovery in grammatically analysed corpora. (English) Zbl 1053.68105 Data Min. Knowl. Discov. 5, No. 4, 305-335 (2001). MSC: 68T50 PDFBibTeX XMLCite \textit{S. Wallis} and \textit{G. Nelson}, Data Min. Knowl. Discov. 5, No. 4, 305--335 (2001; Zbl 1053.68105) Full Text: DOI
Fan, Chen-Ming; Shyr, H. J.; Yu, S. S. \(d\)-words and \(d\)-languages. (English) Zbl 0910.68107 Acta Inf. 35, No. 8, 709-727 (1998). Reviewer: S.S.Yu (Taichung) MSC: 68Q45 94A45 PDFBibTeX XML Full Text: DOI
Chebotarev, Anatoli N.; Morokhovets, Marina K. Consistency checking of automata functional specifications. (English) Zbl 0793.68102 Voronkov, Andrei (ed.), Logic programming and automated reasoning. 4th international conference, LPAR ’93, St. Petersburg, Russia, July 13-20, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 698, 76-85 (1993). MSC: 68Q45 68Q60 PDFBibTeX XMLCite \textit{A. N. Chebotarev} and \textit{M. K. Morokhovets}, Lect. Notes Comput. Sci. 698, 76--85 (1993; Zbl 0793.68102)
Clote, Peter; Kranakis, Evangelos Boolean functions, invariance groups, and parallel complexity. (English) Zbl 0734.68038 SIAM J. Comput. 20, No. 3, 553-590 (1991). MSC: 68Q15 68Q25 94C10 68Q45 PDFBibTeX XMLCite \textit{P. Clote} and \textit{E. Kranakis}, SIAM J. Comput. 20, No. 3, 553--590 (1991; Zbl 0734.68038) Full Text: DOI Link
Nirmal, Nalinakshi; Rama, R. Machine characterization of (E0L-E0L) array languages. (English) Zbl 0738.68053 Theor. Comput. Sci. 87, No. 2, 329-346 (1991). MSC: 68Q45 PDFBibTeX XMLCite \textit{N. Nirmal} and \textit{R. Rama}, Theor. Comput. Sci. 87, No. 2, 329--346 (1991; Zbl 0738.68053) Full Text: DOI
Berstel, Jean; Reutenauer, Christophe Zeta functions of formal languages. (English) Zbl 0797.68092 Trans. Am. Math. Soc. 321, No. 2, 533-546 (1990). MSC: 68Q45 20M35 05A15 14G10 37C25 68Q70 PDFBibTeX XMLCite \textit{J. Berstel} and \textit{C. Reutenauer}, Trans. Am. Math. Soc. 321, No. 2, 533--546 (1990; Zbl 0797.68092) Full Text: DOI
Rubin-Thomas, G. Cyclic permutations of letters of words in languages over an alphabet. (English) Zbl 0677.68085 J. Inf. Optim. Sci. 10, No. 2, 377-394 (1989). MSC: 68Q45 PDFBibTeX XMLCite \textit{G. Rubin-Thomas}, J. Inf. Optim. Sci. 10, No. 2, 377--394 (1989; Zbl 0677.68085) Full Text: DOI
Sajo, Anni On subword complexity functions. (English) Zbl 0562.68060 Discrete Appl. Math. 8, 209-212 (1984). Reviewer: H.Luchian MSC: 68Q45 68Q25 PDFBibTeX XMLCite \textit{A. Sajo}, Discrete Appl. Math. 8, 209--212 (1984; Zbl 0562.68060) Full Text: DOI
Jucan, Toader Some properties of n-cyclic interactive systems. (English) Zbl 0465.68036 Found. Control Eng. 6, 13-21 (1981). MSC: 68Q45 PDFBibTeX XMLCite \textit{T. Jucan}, Found. Control Eng. 6, 13--21 (1981; Zbl 0465.68036)