Parys, Paweł The Caucal hierarchy: interpretations in the (W)MSO+\(\mathsf{U}\) logic. (English) Zbl 07540271 Inf. Comput. 286, Article ID 104782, 23 p. (2022). MSC: 03B25 03D05 PDF BibTeX XML Cite \textit{P. Parys}, Inf. Comput. 286, Article ID 104782, 23 p. (2022; Zbl 07540271) Full Text: DOI OpenURL
Torres-Avilés, Rodrigo Topological mixing notions on Turing machine dynamical systems. (English) Zbl 07538345 Inf. Comput. 285, Part B, Article ID 104915, 13 p. (2022). MSC: 37B10 68Q04 PDF BibTeX XML Cite \textit{R. Torres-Avilés}, Inf. Comput. 285, Part B, Article ID 104915, 13 p. (2022; Zbl 07538345) Full Text: DOI OpenURL
Bhateja, Puneet Determining asynchronous test equivalence for probabilistic processes. (English) Zbl 07537428 Inf. Process. Lett. 177, Article ID 106269, 8 p. (2022). MSC: 68Qxx PDF BibTeX XML Cite \textit{P. Bhateja}, Inf. Process. Lett. 177, Article ID 106269, 8 p. (2022; Zbl 07537428) Full Text: DOI OpenURL
Coniglio, Marcelo E.; Toledo, Guilherme V. Two decision procedures for da Costa’s \(C_n\) Logics based on restricted Nmatrix semantics. (English) Zbl 07535453 Stud. Log. 110, No. 3, 601-642 (2022). MSC: 03-XX PDF BibTeX XML Cite \textit{M. E. Coniglio} and \textit{G. V. Toledo}, Stud. Log. 110, No. 3, 601--642 (2022; Zbl 07535453) Full Text: DOI OpenURL
Badia, Guillermo; Cintula, Petr; Hájek, Petr; Tedder, Andrew How much propositional logic suffices for Rosser’s essential undecidability theorem? (English) Zbl 07531433 Rev. Symb. Log. 15, No. 2, 487-504 (2022). MSC: 03B25 03B47 03B52 PDF BibTeX XML Cite \textit{G. Badia} et al., Rev. Symb. Log. 15, No. 2, 487--504 (2022; Zbl 07531433) Full Text: DOI OpenURL
Salo, Ville Cutting corners. (English) Zbl 07526470 J. Comput. Syst. Sci. 128, 35-70 (2022). MSC: 68-XX PDF BibTeX XML Cite \textit{V. Salo}, J. Comput. Syst. Sci. 128, 35--70 (2022; Zbl 07526470) Full Text: DOI OpenURL
Charlier, É.; Massuir, A.; Rigo, M.; Rowland, E. Ultimate periodicity problem for linear numeration systems. (English) Zbl 07525093 Int. J. Algebra Comput. 32, No. 3, 561-596 (2022). MSC: 68Q45 11U05 11B85 11S85 PDF BibTeX XML Cite \textit{É. Charlier} et al., Int. J. Algebra Comput. 32, No. 3, 561--596 (2022; Zbl 07525093) Full Text: DOI OpenURL
Droste, Manfred; Fülöp, Zoltán; Kószó, Dávid; Vogler, Heiko Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids. (English) Zbl 07524445 Theor. Comput. Sci. 919, 118-143 (2022). MSC: 68Qxx PDF BibTeX XML Cite \textit{M. Droste} et al., Theor. Comput. Sci. 919, 118--143 (2022; Zbl 07524445) Full Text: DOI OpenURL
Miller, Russell HTP-complete rings of rational numbers. (English) Zbl 07506778 J. Symb. Log. 87, No. 1, 252-272 (2022). MSC: 12L05 03D45 03C40 PDF BibTeX XML Cite \textit{R. Miller}, J. Symb. Log. 87, No. 1, 252--272 (2022; Zbl 07506778) Full Text: DOI OpenURL
Maksimova, L. L.; Yun, V. F. Algorithms for recognizing restricted interpolation over the modal logic S4. (English. Russian original) Zbl 07505243 Sib. Math. J. 63, No. 2, 286-298 (2022); translation from Sib. Mat. Zh. 63, No. 2, 344-359 (2022). MSC: 03Bxx 03Cxx 08Bxx PDF BibTeX XML Cite \textit{L. L. Maksimova} and \textit{V. F. Yun}, Sib. Math. J. 63, No. 2, 286--298 (2022; Zbl 07505243); translation from Sib. Mat. Zh. 63, No. 2, 344--359 (2022) Full Text: DOI OpenURL
Bezem, Marc; Coquand, Thierry Loop-checking and the uniform word problem for join-semilattices with an inflationary endomorphism. (English) Zbl 07505202 Theor. Comput. Sci. 913, 1-7 (2022). MSC: 03-XX 06-XX PDF BibTeX XML Cite \textit{M. Bezem} and \textit{T. Coquand}, Theor. Comput. Sci. 913, 1--7 (2022; Zbl 07505202) Full Text: DOI OpenURL
Rybakov, Vladimir V. Multi-agents’ temporal logic using operations of static agents’ knowledge. (English) Zbl 07503907 J. Sib. Fed. Univ., Math. Phys. 15, No. 1, 114-124 (2022). MSC: 03Bxx 68Txx 03-XX PDF BibTeX XML Cite \textit{V. V. Rybakov}, J. Sib. Fed. Univ., Math. Phys. 15, No. 1, 114--124 (2022; Zbl 07503907) Full Text: DOI MNR OpenURL
Kiyatkin, Vladimir R.; Kosheleva, Anna V. Satisfiability in a temporal multi-valueted logic based on \(\mathbb{Z} \). (English) Zbl 07503901 J. Sib. Fed. Univ., Math. Phys. 15, No. 1, 56-74 (2022). MSC: 03Bxx 68Txx 91Axx PDF BibTeX XML Cite \textit{V. R. Kiyatkin} and \textit{A. V. Kosheleva}, J. Sib. Fed. Univ., Math. Phys. 15, No. 1, 56--74 (2022; Zbl 07503901) Full Text: DOI MNR OpenURL
Barton, Neil; Müller, Moritz; Prunescu, Mihai On representations of intended structures in foundational theories. (English) Zbl 07502595 J. Philos. Log. 51, No. 2, 283-296 (2022). MSC: 03-XX PDF BibTeX XML Cite \textit{N. Barton} et al., J. Philos. Log. 51, No. 2, 283--296 (2022; Zbl 07502595) Full Text: DOI OpenURL
Lampert, Fabio The logic of sequence frames. (English) Zbl 07493111 Rev. Symb. Log. 15, No. 1, 101-132 (2022). MSC: 03B45 PDF BibTeX XML Cite \textit{F. Lampert}, Rev. Symb. Log. 15, No. 1, 101--132 (2022; Zbl 07493111) Full Text: DOI OpenURL
van Benthem, Johan; Mierzewski, Krzysztof; Zaffora Blando, Francesca The modal logic of stepwise removal. (English) Zbl 07493109 Rev. Symb. Log. 15, No. 1, 36-63 (2022). MSC: 03B45 03B42 PDF BibTeX XML Cite \textit{J. van Benthem} et al., Rev. Symb. Log. 15, No. 1, 36--63 (2022; Zbl 07493109) Full Text: DOI arXiv OpenURL
Ferguson, Timothy Undecidable arithmetic properties of solutions of Fredholm integral equations. (English) Zbl 07493023 J. Number Theory 236, 230-244 (2022). Reviewer: Alexandra Shlapentokh (Greenville) MSC: 11U05 11J99 68Q17 45B05 PDF BibTeX XML Cite \textit{T. Ferguson}, J. Number Theory 236, 230--244 (2022; Zbl 07493023) Full Text: DOI OpenURL
Kutrib, Martin; Malcher, Andreas; Mereghetti, Carlo; Palano, Beatrice Descriptional complexity of iterated uniform finite-state transducers. (English) Zbl 07488457 Inf. Comput. 284, Article ID 104691, 17 p. (2022). MSC: 68Qxx PDF BibTeX XML Cite \textit{M. Kutrib} et al., Inf. Comput. 284, Article ID 104691, 17 p. (2022; Zbl 07488457) Full Text: DOI OpenURL
Miller, Russell; Shlapentokh, Alexandra On existential definitions of c.e. subsets of rings of functions of characteristic 0. (English) Zbl 1484.11229 Ann. Pure Appl. Logic 173, No. 4, Article ID 103076, 50 p. (2022). MSC: 11U09 11U05 03B25 03C07 11R58 13A18 PDF BibTeX XML Cite \textit{R. Miller} and \textit{A. Shlapentokh}, Ann. Pure Appl. Logic 173, No. 4, Article ID 103076, 50 p. (2022; Zbl 1484.11229) Full Text: DOI arXiv OpenURL
Krenn, Daniel; Shallit, Jeffrey Decidability and \(k\)-regular sequences. (English) Zbl 07477123 Theor. Comput. Sci. 907, 34-44 (2022). MSC: 68Qxx PDF BibTeX XML Cite \textit{D. Krenn} and \textit{J. Shallit}, Theor. Comput. Sci. 907, 34--44 (2022; Zbl 07477123) Full Text: DOI arXiv OpenURL
Moerman, Joshua; Sammartino, Matteo Residuality and learning for nondeterministic nominal automata. (English) Zbl 07471718 Log. Methods Comput. Sci. 18, No. 1, Paper No. 29, 28 p. (2022). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{J. Moerman} and \textit{M. Sammartino}, Log. Methods Comput. Sci. 18, No. 1, Paper No. 29, 28 p. (2022; Zbl 07471718) Full Text: arXiv Link OpenURL
Khan, Md. Aquil; Patel, Vineeta Singh A formal study of a generalized rough set model based on subset approximation structure. (English) Zbl 07460570 Int. J. Approx. Reasoning 140, 52-74 (2022). MSC: 68T37 PDF BibTeX XML Cite \textit{Md. A. Khan} and \textit{V. S. Patel}, Int. J. Approx. Reasoning 140, 52--74 (2022; Zbl 07460570) Full Text: DOI OpenURL
Derakhshan, Jamshid; Macintyre, Angus Model theory of adeles I. (English) Zbl 07458668 Ann. Pure Appl. Logic 173, No. 3, Article ID 103074, 43 p. (2022). MSC: 03C10 03C60 11R56 11U09 11R42 11U05 PDF BibTeX XML Cite \textit{J. Derakhshan} and \textit{A. Macintyre}, Ann. Pure Appl. Logic 173, No. 3, Article ID 103074, 43 p. (2022; Zbl 07458668) Full Text: DOI arXiv OpenURL
Fränzle, Martin; Shirmohammadi, Mahsa; Swaminathan, Mani; Worrell, James Costs and rewards in priced timed automata. (English) Zbl 1483.68168 Inf. Comput. 282, Article ID 104656, 17 p. (2022). MSC: 68Q45 03B25 11D72 11U05 91B02 PDF BibTeX XML Cite \textit{M. Fränzle} et al., Inf. Comput. 282, Article ID 104656, 17 p. (2022; Zbl 1483.68168) Full Text: DOI arXiv OpenURL
Montanari, Angelo; Sala, Pietro Reactive synthesis from interval temporal logic specifications. (English) Zbl 07450574 Theor. Comput. Sci. 899, 48-79 (2022). MSC: 68Qxx PDF BibTeX XML Cite \textit{A. Montanari} and \textit{P. Sala}, Theor. Comput. Sci. 899, 48--79 (2022; Zbl 07450574) Full Text: DOI OpenURL
Pratt-Hartmann, Ian; Tendera, Lidia The fluted fragment with transitive relations. (English) Zbl 07417481 Ann. Pure Appl. Logic 173, No. 1, Article ID 103042, 43 p. (2022). Reviewer: Mario Alviano (Rende) MSC: 03B10 68Q17 68Q19 03B25 03B70 PDF BibTeX XML Cite \textit{I. Pratt-Hartmann} and \textit{L. Tendera}, Ann. Pure Appl. Logic 173, No. 1, Article ID 103042, 43 p. (2022; Zbl 07417481) Full Text: DOI arXiv OpenURL
Echenim, Mnacho; Iosif, Radu; Peltier, Nicolas Entailment is undecidable for symbolic heap separation logic formulæ with non-established inductive rules. (English) Zbl 07411507 Inf. Process. Lett. 173, Article ID 106169, 5 p. (2022). MSC: 03B70 03B25 03B35 PDF BibTeX XML Cite \textit{M. Echenim} et al., Inf. Process. Lett. 173, Article ID 106169, 5 p. (2022; Zbl 07411507) Full Text: DOI OpenURL
Cantone, Domenico; Policriti, Alberto Squeezing multisets into real numbers. (English) Zbl 07552285 Rend. Ist. Mat. Univ. Trieste 53, Paper No. 26, 32 p. (2021). MSC: 03D45 11U05 PDF BibTeX XML Cite \textit{D. Cantone} and \textit{A. Policriti}, Rend. Ist. Mat. Univ. Trieste 53, Paper No. 26, 32 p. (2021; Zbl 07552285) Full Text: DOI OpenURL
Liu, Haiyan; Shum, K. P.; Leng, Jing On \(k\)-comma codes. (English) Zbl 07552098 Southeast Asian Bull. Math. 45, No. 6, 833-848 (2021). MSC: 20M35 68R15 68Q70 PDF BibTeX XML Cite \textit{H. Liu} et al., Southeast Asian Bull. Math. 45, No. 6, 833--848 (2021; Zbl 07552098) Full Text: Link OpenURL
Das, Ramit; Padmanabha, Anantha; Ramanujam, R. Reasoning in large games with unboundedly many players. (English) Zbl 07547758 Ghosh, Sujata (ed.) et al., Logic, rationality, and interaction. 8th international workshop, LORI 2021, Xi’ian, China, October 16–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13039, 41-57 (2021). MSC: 68T27 PDF BibTeX XML Cite \textit{R. Das} et al., Lect. Notes Comput. Sci. 13039, 41--57 (2021; Zbl 07547758) Full Text: DOI OpenURL
Motoura, Shota A logic and computation for Popper’s conditional probabilities. (English) Zbl 07542375 Vejnarová, Jiřina (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 16th European conference, ECSQARU 2021, Prague, Czech Republic, September 21–24, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12897, 657-671 (2021). MSC: 68T37 PDF BibTeX XML Cite \textit{S. Motoura}, Lect. Notes Comput. Sci. 12897, 657--671 (2021; Zbl 07542375) Full Text: DOI OpenURL
de Wit, Vincent; Doder, Dragan; Meyer, John Jules A probabilistic deontic logic. (English) Zbl 07542372 Vejnarová, Jiřina (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 16th European conference, ECSQARU 2021, Prague, Czech Republic, September 21–24, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12897, 616-628 (2021). MSC: 68T37 PDF BibTeX XML Cite \textit{V. de Wit} et al., Lect. Notes Comput. Sci. 12897, 616--628 (2021; Zbl 07542372) Full Text: DOI OpenURL
Kazda, Alexandr Deciding the existence of quasiweak near unanimity terms in finite algebras. (English) Zbl 07536107 J. Mult.-Val. Log. Soft Comput. 36, No. 4-5, 337-352 (2021). MSC: 08B05 08A40 03B25 68Q25 PDF BibTeX XML Cite \textit{A. Kazda}, J. Mult.-Val. Log. Soft Comput. 36, No. 4--5, 337--352 (2021; Zbl 07536107) Full Text: Link OpenURL
Kuznetsova, A. L.; Afonin, S. A. Automata model for verifying attibuted-based access control policy in systems with a finite number of objects. (English. Russian original) Zbl 07514311 Mosc. Univ. Math. Bull. 76, No. 5, 230-233 (2021); translation from Vestn. Mosk. Univ., Ser. I 76, No. 5, 57-60 (2021). MSC: 68M25 68Q45 PDF BibTeX XML Cite \textit{A. L. Kuznetsova} and \textit{S. A. Afonin}, Mosc. Univ. Math. Bull. 76, No. 5, 230--233 (2021; Zbl 07514311); translation from Vestn. Mosk. Univ., Ser. I 76, No. 5, 57--60 (2021) Full Text: DOI OpenURL
Gasarch, William Hilbert’s tenth problem for fixed \(d\) and \(n\). (English) Zbl 07509957 Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 133, 26-41 (2021). MSC: 11U05 PDF BibTeX XML Cite \textit{W. Gasarch}, Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 133, 26--41 (2021; Zbl 07509957) Full Text: Link OpenURL
Blattmann, Malte; Maletti, Andreas Compositions of constant weighted extended tree transducers. (English) Zbl 07498716 Moreira, Nelma (ed.) et al., Developments in language theory. 25th international conference, DLT 2021, Porto, Portugal, August 16–20, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12811, 66-77 (2021). MSC: 68Q45 PDF BibTeX XML Cite \textit{M. Blattmann} and \textit{A. Maletti}, Lect. Notes Comput. Sci. 12811, 66--77 (2021; Zbl 07498716) Full Text: DOI OpenURL
Parys, Paweł Shelah-Stupp’s and Muchnik’s iterations revisited. (English) Zbl 07493544 Santhanam, Rahul (ed.) et al., Computer science – theory and applications. 16th international computer science symposium in Russia, CSR 2021, Sochi, Russia, June 28 – July 2, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12730, 395-405 (2021). MSC: 68Qxx PDF BibTeX XML Cite \textit{P. Parys}, Lect. Notes Comput. Sci. 12730, 395--405 (2021; Zbl 07493544) Full Text: DOI OpenURL
Starchak, M. R. A proof of Bel’tyukov-Lipshitz theorem by quasi-quantifier elimination. II: The main reduction. (English. Russian original) Zbl 07485534 Vestn. St. Petersbg. Univ., Math. 54, No. 4, 372-380 (2021); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 8(66), No. 4, 608-619 (2021). MSC: 03Bxx 03Dxx 68Qxx PDF BibTeX XML Cite \textit{M. R. Starchak}, Vestn. St. Petersbg. Univ., Math. 54, No. 4, 372--380 (2021; Zbl 07485534); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 8(66), No. 4, 608--619 (2021) Full Text: DOI OpenURL
Das, Ramit; Ramanujam, R. A logical description of strategizing in social network games. (English) Zbl 1484.91079 Liao, Beishui (ed.) et al., Logics for new-generation AI 2021. First international workshop, LNGAI 2021, June, 18–20 2021, Hangzhou, China. London: College Publications. 107-119 (2021). MSC: 91A43 03B45 91D30 PDF BibTeX XML Cite \textit{R. Das} and \textit{R. Ramanujam}, in: Logics for new-generation AI 2021. First international workshop, LNGAI 2021, June, 18--20 2021, Hangzhou, China. London: College Publications. 107--119 (2021; Zbl 1484.91079) OpenURL
Myasnikov, Aleksei G.; Sohrabi, Mahmood The Diophantine problem in the classical matrix groups. (English. Russian original) Zbl 07480691 Izv. Math. 85, No. 6, 1220-1256 (2021); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 85, No. 6, 205-244 (2021). Reviewer: Wilberd van der Kallen (Utrecht) MSC: 20F10 03C60 20F70 20G35 PDF BibTeX XML Cite \textit{A. G. Myasnikov} and \textit{M. Sohrabi}, Izv. Math. 85, No. 6, 1220--1256 (2021; Zbl 07480691); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 85, No. 6, 205--244 (2021) Full Text: DOI OpenURL
Vidaux, Xavier; Videla, Carlos R. Dedekind’s criterion for the monogenicity of a number field versus Uchida’s and Lüneburg’s. (English) Zbl 07473218 Tohoku Math. J. (2) 73, No. 3, 433-447 (2021). Reviewer: Władysław Narkiewicz (Wrocław) MSC: 11R04 11U05 13F05 37F10 37P05 PDF BibTeX XML Cite \textit{X. Vidaux} and \textit{C. R. Videla}, Tohoku Math. J. (2) 73, No. 3, 433--447 (2021; Zbl 07473218) Full Text: DOI arXiv OpenURL
Greenfeld, Rachel; Tao, Terence The structure of translational tilings in \(\mathbb{Z}^d\). (English) Zbl 1482.05036 Discrete Anal. 2021, Paper No. 16, 28 p. (2021). MSC: 05B45 52C22 52C25 52C45 PDF BibTeX XML Cite \textit{R. Greenfeld} and \textit{T. Tao}, Discrete Anal. 2021, Paper No. 16, 28 p. (2021; Zbl 1482.05036) Full Text: DOI arXiv OpenURL
Santos, Paulo Guilherme; Kahle, Reinhard \(k\)-provability in \(\mathrm{PA}\). (English) Zbl 07462129 Log. Univers. 15, No. 4, 477-516 (2021). MSC: 03B10 03B25 PDF BibTeX XML Cite \textit{P. G. Santos} and \textit{R. Kahle}, Log. Univers. 15, No. 4, 477--516 (2021; Zbl 07462129) Full Text: DOI OpenURL
Bhardwaj, Neer; Tran, Chieu-Minh The additive groups of \(\mathbb{Z}\) and \(\mathbb{Q}\) with predicates for being square-free. (English) Zbl 07457781 J. Symb. Log. 86, No. 4, 1324-1349 (2021). MSC: 03C65 03B25 03C10 03C64 PDF BibTeX XML Cite \textit{N. Bhardwaj} and \textit{C.-M. Tran}, J. Symb. Log. 86, No. 4, 1324--1349 (2021; Zbl 07457781) Full Text: DOI arXiv OpenURL
Kutrib, Martin; Malcher, Andreas Digging input-driven pushdown automata. (English) Zbl 07455934 RAIRO, Theor. Inform. Appl. 55, Paper No. 6, 19 p. (2021). MSC: 68Q45 68Q15 PDF BibTeX XML Cite \textit{M. Kutrib} and \textit{A. Malcher}, RAIRO, Theor. Inform. Appl. 55, Paper No. 6, 19 p. (2021; Zbl 07455934) Full Text: DOI OpenURL
DautoviĆ, Šejla; Doder, Dragan; OgnjanoviĆ, Zoran Logics for reasoning about degrees of confirmation. (English) Zbl 07451583 J. Log. Comput. 31, No. 8, 2189-2217 (2021). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{Š. DautoviĆ} et al., J. Log. Comput. 31, No. 8, 2189--2217 (2021; Zbl 07451583) Full Text: DOI OpenURL
Ponomaryov, D. On the relationship between the complexity of decidability and decomposability of first-order theories. (English) Zbl 07450554 Lobachevskii J. Math. 42, No. 12, 2905-2912 (2021). MSC: 68-XX 03-XX PDF BibTeX XML Cite \textit{D. Ponomaryov}, Lobachevskii J. Math. 42, No. 12, 2905--2912 (2021; Zbl 07450554) Full Text: DOI OpenURL
Orlandelli, Eugenio Sequent calculi and interpolation for non-normal modal and deontic logics. (English) Zbl 07437981 Log. Log. Philos. 30, No. 1, 139-183 (2021). MSC: 03-XX PDF BibTeX XML Cite \textit{E. Orlandelli}, Log. Log. Philos. 30, No. 1, 139--183 (2021; Zbl 07437981) Full Text: DOI arXiv OpenURL
Baader, Franz; Rydval, Jakub An algebraic view on p-admissible concrete domains for lightweight description logics. (English) Zbl 07437042 Faber, Wolfgang (ed.) et al., Logics in artificial intelligence. 17th European conference, JELIA 2021, virtual event, May 17–20, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12678, 194-209 (2021). MSC: 68T27 PDF BibTeX XML Cite \textit{F. Baader} and \textit{J. Rydval}, Lect. Notes Comput. Sci. 12678, 194--209 (2021; Zbl 07437042) Full Text: DOI OpenURL
Blinov, K. V. Primitively recursive categoricity for unars and equivalence structures. (English. Russian original) Zbl 07436435 Sib. Math. J. 62, No. 6, 994-1009 (2021); translation from Sib. Mat. Zh. 62, No. 2, 1231-1251 (2021). MSC: 03Cxx 03Dxx 03-XX PDF BibTeX XML Cite \textit{K. V. Blinov}, Sib. Math. J. 62, No. 6, 994--1009 (2021; Zbl 07436435); translation from Sib. Mat. Zh. 62, No. 2, 1231--1251 (2021) Full Text: DOI OpenURL
Malcher, Andreas Decidability questions for insertion systems and related models. (English) Zbl 07426120 Fundam. Inform. 180, No. 1, 53-76 (2021). MSC: 68-XX PDF BibTeX XML Cite \textit{A. Malcher}, Fundam. Inform. 180, No. 1, 53--76 (2021; Zbl 07426120) Full Text: DOI OpenURL
Teh, Wen Chean; Atanasiu, Adrian; Wong, Denis C. K. Freeness problem for matrix semigroups of Parikh matrices. (English) Zbl 07426116 Fundam. Inform. 179, No. 4, 385-397 (2021). MSC: 68-XX PDF BibTeX XML Cite \textit{W. C. Teh} et al., Fundam. Inform. 179, No. 4, 385--397 (2021; Zbl 07426116) Full Text: DOI OpenURL
Lin, Zhe; Chakraborty, Mihir Kumar; Ma, Minghui Residuated algebraic structures in the vicinity of pre-rough algebra and decidability. (English) Zbl 07426110 Fundam. Inform. 179, No. 3, 239-274 (2021). MSC: 68-XX PDF BibTeX XML Cite \textit{Z. Lin} et al., Fundam. Inform. 179, No. 3, 239--274 (2021; Zbl 07426110) Full Text: DOI OpenURL
Grädel, Erich; Pützstück, Phil Logics of dependence and independence: the local variants. (English) Zbl 07423149 J. Log. Comput. 31, No. 7, 1690-1715 (2021). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{E. Grädel} and \textit{P. Pützstück}, J. Log. Comput. 31, No. 7, 1690--1715 (2021; Zbl 07423149) Full Text: DOI arXiv OpenURL
Starchak, M. R. A proof of Bel’tyukov-Lipshitz theorem by quasi-quantifier elimination. I: Definitions and GCD-lemma. (English. Russian original) Zbl 07419077 Vestn. St. Petersbg. Univ., Math. 54, No. 3, 264-272 (2021); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 8(66), No. 3, 455-466 (2021). MSC: 03Bxx 03Dxx 11Uxx PDF BibTeX XML Cite \textit{M. R. Starchak}, Vestn. St. Petersbg. Univ., Math. 54, No. 3, 264--272 (2021; Zbl 07419077); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 8(66), No. 3, 455--466 (2021) Full Text: DOI OpenURL
Le, Quang Loc Compositional satisfiability solving in separation logic. (English) Zbl 1472.03025 Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 578-602 (2021). MSC: 03B70 03B25 68T20 PDF BibTeX XML Cite \textit{Q. L. Le}, Lect. Notes Comput. Sci. 12597, 578--602 (2021; Zbl 1472.03025) Full Text: DOI OpenURL
Bromberger, Martin; Fiori, Alberto; Weidenbach, Christoph Deciding the Bernays-Schoenfinkel fragment over bounded difference constraints by simple clause learning over theories. (English) Zbl 1472.03024 Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 511-533 (2021). MSC: 03B70 03B25 68Q32 PDF BibTeX XML Cite \textit{M. Bromberger} et al., Lect. Notes Comput. Sci. 12597, 511--533 (2021; Zbl 1472.03024) Full Text: DOI OpenURL
Mitterwallner, Fabian; Lochmann, Alexander; Middeldorp, Aart; Felgenhauer, Bertram Certifying proofs in the first-order theory of rewriting. (English) Zbl 1474.68166 Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12652, 127-144 (2021). MSC: 68Q42 03B25 03B35 03D05 68V20 PDF BibTeX XML Cite \textit{F. Mitterwallner} et al., Lect. Notes Comput. Sci. 12652, 127--144 (2021; Zbl 1474.68166) Full Text: DOI OpenURL
Pagel, Jens; Zuleger, Florian Strong-separation logic. (English) Zbl 1473.03015 Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 664-692 (2021). MSC: 03B70 03B25 PDF BibTeX XML Cite \textit{J. Pagel} and \textit{F. Zuleger}, Lect. Notes Comput. Sci. 12648, 664--692 (2021; Zbl 1473.03015) Full Text: DOI arXiv OpenURL
Areces, Carlos; Fervari, Raul Axiomatizing hybrid XPath with data. (English) Zbl 07407777 Log. Methods Comput. Sci. 17, No. 3, Paper No. 5, 37 p. (2021). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{C. Areces} and \textit{R. Fervari}, Log. Methods Comput. Sci. 17, No. 3, Paper No. 5, 37 p. (2021; Zbl 07407777) Full Text: arXiv Link OpenURL
Semenov, Alekseĭ L’vovich; Soprunov, Sergeĭ Fedorovich The lattice of definability. Origins and directions of research. (Russian. English summary) Zbl 07407017 Chebyshevskiĭ Sb. 22, No. 1(77), 304-327 (2021). MSC: 03-XX 51-XX PDF BibTeX XML Cite \textit{A. L. Semenov} and \textit{S. F. Soprunov}, Chebyshevskiĭ Sb. 22, No. 1(77), 304--327 (2021; Zbl 07407017) Full Text: MNR OpenURL
Melnikov, A. G. New degree spectra of Polish spaces. (English. Russian original) Zbl 07401183 Sib. Math. J. 62, No. 5, 882-894 (2021); translation from Sib. Mat. Zh. 62, No. 5, 1091-1108 (2021). MSC: 03Dxx 03Cxx 20Kxx PDF BibTeX XML Cite \textit{A. G. Melnikov}, Sib. Math. J. 62, No. 5, 882--894 (2021; Zbl 07401183); translation from Sib. Mat. Zh. 62, No. 5, 1091--1108 (2021) Full Text: DOI OpenURL
Maksimova, L. L.; Yun, V. F. Hybrid extensions of the minimal logic. (English. Russian original) Zbl 07401182 Sib. Math. J. 62, No. 5, 876-881 (2021); translation from Sib. Mat. Zh. 62, No. 5, 1084-1090 (2021). MSC: 03Bxx 03Cxx 03-XX PDF BibTeX XML Cite \textit{L. L. Maksimova} and \textit{V. F. Yun}, Sib. Math. J. 62, No. 5, 876--881 (2021; Zbl 07401182); translation from Sib. Mat. Zh. 62, No. 5, 1084--1090 (2021) Full Text: DOI OpenURL
Rybakov, Mikhail; Shkatov, Dmitry Algorithmic properties of first-order modal logics of linear Kripke frames in restricted languages. (English) Zbl 07398783 J. Log. Comput. 31, No. 5, 1266-1288 (2021). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{M. Rybakov} and \textit{D. Shkatov}, J. Log. Comput. 31, No. 5, 1266--1288 (2021; Zbl 07398783) Full Text: DOI OpenURL
Peyras, Quentin; Brunel, Julien; Chemouil, David A decidable and expressive fragment of Many-Sorted first-order linear temporal logic. (English) Zbl 07398017 Inf. Comput. 280, Article ID 104641, 20 p. (2021). MSC: 68Qxx PDF BibTeX XML Cite \textit{Q. Peyras} et al., Inf. Comput. 280, Article ID 104641, 20 p. (2021; Zbl 07398017) Full Text: DOI HAL OpenURL
Dennunzio, Alberto; Formenti, Enrico; Grinberg, Darij; Margara, Luciano An efficiently computable characterization of stability and instability for linear cellular automata. (English) Zbl 07396418 J. Comput. Syst. Sci. 122, 63-71 (2021). MSC: 68-XX PDF BibTeX XML Cite \textit{A. Dennunzio} et al., J. Comput. Syst. Sci. 122, 63--71 (2021; Zbl 07396418) Full Text: DOI OpenURL
Nyberg-Brodda, Carl-Fredrik The word problem for one-relation monoids: a survey. (English) Zbl 07395076 Semigroup Forum 103, No. 2, 297-355 (2021). MSC: 20F10 20F05 20M05 20M18 20F36 PDF BibTeX XML Cite \textit{C.-F. Nyberg-Brodda}, Semigroup Forum 103, No. 2, 297--355 (2021; Zbl 07395076) Full Text: DOI arXiv OpenURL
Hrushovski, Ehud Ax’s theorem with an additive character. (English) Zbl 07394437 EMS Surv. Math. Sci. 8, No. 1-2, 179-216 (2021). MSC: 03C13 03C60 11G25 PDF BibTeX XML Cite \textit{E. Hrushovski}, EMS Surv. Math. Sci. 8, No. 1--2, 179--216 (2021; Zbl 07394437) Full Text: DOI arXiv OpenURL
Kutrib, Martin; Malcher, Andreas String generation by cellular automata. (English) Zbl 1469.68068 Complex Syst. 30, No. 2, 111-132 (2021). MSC: 68Q80 68Q45 PDF BibTeX XML Cite \textit{M. Kutrib} and \textit{A. Malcher}, Complex Syst. 30, No. 2, 111--132 (2021; Zbl 1469.68068) Full Text: DOI OpenURL
Venkatachalam, Ragupathy; Kao, Ying-Fang Uniqueness in planar endogenous business cycle theories. (English) Zbl 1470.91168 Velupillai, Kumaraswamy (ed.), Keynesian, Sraffian, computable and dynamic economics. Theoretical and simulational (numerical) approaches. Cham: Palgrave Macmillan. 273-310 (2021). MSC: 91B62 PDF BibTeX XML Cite \textit{R. Venkatachalam} and \textit{Y.-F. Kao}, in: Keynesian, Sraffian, computable and dynamic economics. Theoretical and simulational (numerical) approaches. Cham: Palgrave Macmillan. 273--310 (2021; Zbl 1470.91168) Full Text: DOI OpenURL
Zahiri, Saeide; Borumand Saeid, Arsham; Turunen, Esko On local triangle algebras. (English) Zbl 1467.03005 Fuzzy Sets Syst. 418, 126-138 (2021). MSC: 03B25 06D35 PDF BibTeX XML Cite \textit{S. Zahiri} et al., Fuzzy Sets Syst. 418, 126--138 (2021; Zbl 1467.03005) Full Text: DOI OpenURL
Shlapentokh, Alexandra Book review of: M. R. Murty and B. Fodden, Hilbert’s tenth problem. (English) Zbl 1467.00007 Notices Am. Math. Soc. 68, No. 4, 576-579 (2021). MSC: 00A17 03-01 03Dxx 03F40 03F45 03E30 11U05 PDF BibTeX XML Cite \textit{A. Shlapentokh}, Notices Am. Math. Soc. 68, No. 4, 576--579 (2021; Zbl 1467.00007) Full Text: DOI OpenURL
Bès, Alexis; Choffrut, Christian Theories of real addition with and without a predicate for integers. (English) Zbl 07379289 Log. Methods Comput. Sci. 17, No. 2, Paper No. 18, 27 p. (2021). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{A. Bès} and \textit{C. Choffrut}, Log. Methods Comput. Sci. 17, No. 2, Paper No. 18, 27 p. (2021; Zbl 07379289) Full Text: DOI arXiv OpenURL
Rasga, João; Sernadas, Cristina; Carnielli, Walter Reduction techniques for proving decidability in logics and their meet-combination. (English) Zbl 07379167 Bull. Symb. Log. 27, No. 1, 39-66 (2021). MSC: 03B25 03B45 03B62 PDF BibTeX XML Cite \textit{J. Rasga} et al., Bull. Symb. Log. 27, No. 1, 39--66 (2021; Zbl 07379167) Full Text: DOI OpenURL
Paul, Erik Finite sequentiality of unambiguous max-plus tree automata. (English) Zbl 07379114 Theory Comput. Syst. 65, No. 4, 736-776 (2021). MSC: 68Qxx 16Yxx PDF BibTeX XML Cite \textit{E. Paul}, Theory Comput. Syst. 65, No. 4, 736--776 (2021; Zbl 07379114) Full Text: DOI OpenURL
Majumdar, Rupak; Thinniyam, Ramanathan S.; Zetzsche, Georg General decidability results for asynchronous shared-memory programs: higher-order and beyond. (English) Zbl 1467.68040 Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 449-467 (2021). MSC: 68N30 68Q45 68Q60 68Q85 PDF BibTeX XML Cite \textit{R. Majumdar} et al., Lect. Notes Comput. Sci. 12651, 449--467 (2021; Zbl 1467.68040) Full Text: DOI arXiv OpenURL
Ramos, Jaime; Rasga, João; Sernadas, Cristina; Viganò, Luca Event-based time-stamped claim logic. (English) Zbl 07377685 J. Log. Algebr. Methods Program. 121, Article ID 100684, 28 p. (2021). MSC: 68-XX PDF BibTeX XML Cite \textit{J. Ramos} et al., J. Log. Algebr. Methods Program. 121, Article ID 100684, 28 p. (2021; Zbl 07377685) Full Text: DOI OpenURL
Grabmayr, Balthasar On the invariance of Gödel’s second theorem with regard to numberings. (English) Zbl 07374090 Rev. Symb. Log. 14, No. 1, 51-84 (2021). Reviewer: Saeed Salehi (Tabriz) MSC: 03F40 03A05 03B25 03F30 PDF BibTeX XML Cite \textit{B. Grabmayr}, Rev. Symb. Log. 14, No. 1, 51--84 (2021; Zbl 07374090) Full Text: DOI arXiv OpenURL
Chubb, Jennifer; Miller, Russell; Solomon, Reed Model completeness and relative decidability. (English) Zbl 07373426 Arch. Math. Logic 60, No. 6, 721-735 (2021). MSC: 03C57 03D45 03C10 PDF BibTeX XML Cite \textit{J. Chubb} et al., Arch. Math. Logic 60, No. 6, 721--735 (2021; Zbl 07373426) Full Text: DOI arXiv OpenURL
Brihaye, Thomas; Bruyère, Véronique; Goeminne, Aline; Raskin, Jean-François Constrained existence problem for weak subgame perfect equilibria with \(\omega \)-regular Boolean objectives. (English) Zbl 07354960 Inf. Comput. 278, Article ID 104594, 20 p. (2021). MSC: 68Qxx PDF BibTeX XML Cite \textit{T. Brihaye} et al., Inf. Comput. 278, Article ID 104594, 20 p. (2021; Zbl 07354960) Full Text: DOI arXiv OpenURL
Kutrib, Martin; Malcher, Andreas; Wendlandt, Matthias Input-driven multi-counter automata. (English) Zbl 07354761 Theor. Comput. Sci. 870, 121-136 (2021). MSC: 68Qxx PDF BibTeX XML Cite \textit{M. Kutrib} et al., Theor. Comput. Sci. 870, 121--136 (2021; Zbl 07354761) Full Text: DOI OpenURL
Kimura, Daisuke; Tatsuta, Makoto Decidability for entailments of symbolic heaps with arrays. (English) Zbl 07350781 Log. Methods Comput. Sci. 17, No. 2, Paper No. 15, 33 p. (2021). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{D. Kimura} and \textit{M. Tatsuta}, Log. Methods Comput. Sci. 17, No. 2, Paper No. 15, 33 p. (2021; Zbl 07350781) Full Text: arXiv Link OpenURL
André, Étienne; Lime, Didier; Ramparison, Mathias Parametric updates in parametric timed automata. (English) Zbl 07350779 Log. Methods Comput. Sci. 17, No. 2, Paper No. 13, 67 p. (2021). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{É. André} et al., Log. Methods Comput. Sci. 17, No. 2, Paper No. 13, 67 p. (2021; Zbl 07350779) Full Text: arXiv Link OpenURL
Sun, Zhi-Wei Further results on Hilbert’s tenth problem. (English) Zbl 07344763 Sci. China, Math. 64, No. 2, 281-306 (2021). Reviewer: Xavier Vidaux (Concepción) MSC: 03D35 03B25 11U05 03D25 11D99 11A41 11B39 PDF BibTeX XML Cite \textit{Z.-W. Sun}, Sci. China, Math. 64, No. 2, 281--306 (2021; Zbl 07344763) Full Text: DOI arXiv OpenURL
Lempp, Steffen; Slaman, Theodore A.; Soskova, Mariya I. Fragments of the theory of the enumeration degrees. (English) Zbl 07337378 Adv. Math. 383, Article ID 107686, 39 p. (2021). MSC: 03D30 PDF BibTeX XML Cite \textit{S. Lempp} et al., Adv. Math. 383, Article ID 107686, 39 p. (2021; Zbl 07337378) Full Text: DOI OpenURL
Fritz, Tobias Quantum logic is undecidable. (English) Zbl 1473.03039 Arch. Math. Logic 60, No. 3-4, 329-341 (2021). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 03G12 03B25 46L99 81P10 81P13 PDF BibTeX XML Cite \textit{T. Fritz}, Arch. Math. Logic 60, No. 3--4, 329--341 (2021; Zbl 1473.03039) Full Text: DOI arXiv OpenURL
Duisengaliyeva, Bibinur; Umirbaev, Ualbai Differential algebraic dependence and Novikov dependence. (English) Zbl 1475.12008 Linear Multilinear Algebra 69, No. 6, 1061-1071 (2021). Reviewer: Alexander B. Levin (Washington) MSC: 12H05 17D25 12L05 13P10 17A50 PDF BibTeX XML Cite \textit{B. Duisengaliyeva} and \textit{U. Umirbaev}, Linear Multilinear Algebra 69, No. 6, 1061--1071 (2021; Zbl 1475.12008) Full Text: DOI arXiv OpenURL
Sudoplatov, S. V. Distributions of countable models of disjoint unions of Ehrenfeucht theories. (English) Zbl 07319680 Lobachevskii J. Math. 42, No. 1, 195-205 (2021). MSC: 03C15 03C45 03B25 PDF BibTeX XML Cite \textit{S. V. Sudoplatov}, Lobachevskii J. Math. 42, No. 1, 195--205 (2021; Zbl 07319680) Full Text: DOI OpenURL
Kristiansen, Lars; Murwanashyaka, Juvenal First-order concatenation theory with bounded quantifiers. (English) Zbl 07297799 Arch. Math. Logic 60, No. 1-2, 77-104 (2021). MSC: 03B10 03B25 03D40 68R15 PDF BibTeX XML Cite \textit{L. Kristiansen} and \textit{J. Murwanashyaka}, Arch. Math. Logic 60, No. 1--2, 77--104 (2021; Zbl 07297799) Full Text: DOI arXiv OpenURL
Alonderis, R.; Giedra, H. A proof-search system for the logic of likelihood. (English) Zbl 07542735 Log. J. IGPL 28, No. 3, 261-280 (2020); corrigendum ibid. 28, No. 3, 413 (2020). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{R. Alonderis} and \textit{H. Giedra}, Log. J. IGPL 28, No. 3, 261--280 (2020; Zbl 07542735) Full Text: DOI OpenURL
Burrieza, Alfredo; Muñoz-Velasco, Emilio; Ojeda-Aciego, Manuel A flexible logic-based approach to closeness using order of magnitude qualitative reasoning. (English) Zbl 07538968 Log. J. IGPL 28, No. 1, 121-133 (2020). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{A. Burrieza} et al., Log. J. IGPL 28, No. 1, 121--133 (2020; Zbl 07538968) Full Text: DOI OpenURL
Meyden, Ron Van Der; Patra, Manas K. Undecidable cases of model checking probabilistic temporal-epistemic logic. (English) Zbl 07480986 ACM Trans. Comput. Log. 21, No. 4, Article No. 32, 26 p. (2020). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{R. Van Der Meyden} and \textit{M. K. Patra}, ACM Trans. Comput. Log. 21, No. 4, Article No. 32, 26 p. (2020; Zbl 07480986) Full Text: DOI arXiv OpenURL
Dennunzio, Alberto; Formenti, Enrico; Grinberg, Darij; Margara, Luciano Chaos and ergodicity are decidable for linear cellular automata over \((\mathbb{Z}/m\mathbb{Z})^n\). (English) Zbl 1483.37022 Inf. Sci. 539, 136-144 (2020). MSC: 37B15 37A25 68Q80 PDF BibTeX XML Cite \textit{A. Dennunzio} et al., Inf. Sci. 539, 136--144 (2020; Zbl 1483.37022) Full Text: DOI OpenURL
Müller, Christan; Seidl, Helmut Stratified guarded first-order transition systems. (English) Zbl 1474.68192 Pichardie, David (ed.) et al., Static analysis. 27th international symposium, SAS 2020, virtual event, November 18–20, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12389, 113-133 (2020). MSC: 68Q60 03B70 PDF BibTeX XML Cite \textit{C. Müller} and \textit{H. Seidl}, Lect. Notes Comput. Sci. 12389, 113--133 (2020; Zbl 1474.68192) Full Text: DOI OpenURL
Kutrib, Martin; Worsch, Thomas Self-verifying cellular automata. (English) Zbl 1467.68114 J. Cell. Autom. 15, No. 3, 223-242 (2020). MSC: 68Q80 PDF BibTeX XML Cite \textit{M. Kutrib} and \textit{T. Worsch}, J. Cell. Autom. 15, No. 3, 223--242 (2020; Zbl 1467.68114) Full Text: Link OpenURL
Bimbó, Katalln The development of decidability proofs based on sequent calculi. (English) Zbl 07377972 Rezuş, Adrian (ed.), Contemporary logic and computing. London: College Publications. Landsc. Log. 1, 5-37 (2020). MSC: 03Bxx 03Dxx PDF BibTeX XML Cite \textit{K. Bimbó}, Landsc. Log. 1, 5--37 (2020; Zbl 07377972) OpenURL
Průša, Daniel Complexity of two-dimensional rank-reducing grammars. (English) Zbl 07371297 Jirásková, Galina (ed.) et al., Descriptional complexity of formal systems. 22nd international conference, DCFS 2020, Vienna, Austria, August 24–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12442, 155-166 (2020). MSC: 68Qxx PDF BibTeX XML Cite \textit{D. Průša}, Lect. Notes Comput. Sci. 12442, 155--166 (2020; Zbl 07371297) Full Text: DOI OpenURL
Droste, Manfred; Fülöp, Zoltán; Kószó, Dávid; Vogler, Heiko Crisp-determinization of weighted tree automata over additively locally finite and past-finite monotonic strong bimonoids is decidable. (English) Zbl 07371288 Jirásková, Galina (ed.) et al., Descriptional complexity of formal systems. 22nd international conference, DCFS 2020, Vienna, Austria, August 24–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12442, 39-51 (2020). MSC: 68Qxx PDF BibTeX XML Cite \textit{M. Droste} et al., Lect. Notes Comput. Sci. 12442, 39--51 (2020; Zbl 07371288) Full Text: DOI OpenURL
Berthé, Valérie On decision problems for substitutions in symbolic dynamics. (English) Zbl 07368094 Schmitz, Sylvain (ed.) et al., Reachability problems. 14th international conference, RP 2020, Paris, France, October 19–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12448, 3-19 (2020). MSC: 68Qxx PDF BibTeX XML Cite \textit{V. Berthé}, Lect. Notes Comput. Sci. 12448, 3--19 (2020; Zbl 07368094) Full Text: DOI OpenURL
Matos, Armando B.; Paolini, Luca; Roversi, Luca On the expressivity of total reversible programming languages. (English) Zbl 07368051 Lanese, Ivan (ed.) et al., Reversible computation. 12th international conference, RC 2020, Oslo, Norway, July 9–10, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12227, 128-143 (2020). MSC: 68Q09 68Q10 81P68 PDF BibTeX XML Cite \textit{A. B. Matos} et al., Lect. Notes Comput. Sci. 12227, 128--143 (2020; Zbl 07368051) Full Text: DOI OpenURL