Sun, Zhi-Wei Further results on Hilbert’s tenth problem. (English) Zbl 07344763 Sci. China, Math. 64, No. 2, 281-306 (2021). MSC: 03D35 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
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
Fritz, Tobias Quantum logic is undecidable. (English) Zbl 07334536 Arch. Math. Logic 60, No. 3-4, 329-341 (2021). MSC: 03G12 03B25 46L99 81P13 PDF BibTeX XML Cite \textit{T. Fritz}, Arch. Math. Logic 60, No. 3--4, 329--341 (2021; Zbl 07334536) Full Text: DOI
Duisengaliyeva, Bibinur; Umirbaev, Ualbai Differential algebraic dependence and Novikov dependence. (English) Zbl 07333212 Linear Multilinear Algebra 69, No. 6, 1061-1071 (2021). 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 07333212) Full Text: DOI
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
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
Ibarra, Oscar H.; McQuillan, Ian Semilinearity of families of languages. (English) Zbl 07334843 Int. J. Found. Comput. Sci. 31, No. 8, 1179-1198 (2020). MSC: 68Q45 PDF BibTeX XML Cite \textit{O. H. Ibarra} and \textit{I. McQuillan}, Int. J. Found. Comput. Sci. 31, No. 8, 1179--1198 (2020; Zbl 07334843) Full Text: DOI
Mazur, Barry; Rubin, Karl Big fields that are not large. (English) Zbl 07326204 Proc. Am. Math. Soc., Ser. B 7, 159-169 (2020). MSC: 11R04 11U05 14G05 PDF BibTeX XML Cite \textit{B. Mazur} and \textit{K. Rubin}, Proc. Am. Math. Soc., Ser. B 7, 159--169 (2020; Zbl 07326204) Full Text: DOI
Mikec, Luka; Vuković, Mladen Interpretability logics and generalised Veltman semantics. (English) Zbl 07303643 J. Symb. Log. 85, No. 2, 749-772 (2020). Reviewer: Osamu Sonobe (Follonica) MSC: 03B45 03B60 03F45 PDF BibTeX XML Cite \textit{L. Mikec} and \textit{M. Vuković}, J. Symb. Log. 85, No. 2, 749--772 (2020; Zbl 07303643) Full Text: DOI
Gorman, Alexi Block; Hieronymi, Philipp; Kaplan, Elliot Pairs of theories satisfying a Mordell-Lang condition. (English) Zbl 07301037 Fundam. Math. 251, No. 2, 131-160 (2020). Reviewer: Beibut Kulpeshov (Almaty) MSC: 03C10 03C64 03B25 06F20 PDF BibTeX XML Cite \textit{A. B. Gorman} et al., Fundam. Math. 251, No. 2, 131--160 (2020; Zbl 07301037) Full Text: DOI
Kenison, George; Lipton, Richard; Ouaknine, Joël; Worrell, James On the Skolem problem and prime powers. (English) Zbl 07300083 Mantzaflaris, Angelos (ed.), Proceedings of the 45th international symposium on symbolic and algebraic computation, ISSAC ’20, Kalamata, Greece, July 20–23, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7100-1). 289-296 (2020). MSC: 68W30 PDF BibTeX XML Cite \textit{G. Kenison} et al., in: Proceedings of the 45th international symposium on symbolic and algebraic computation, ISSAC '20, Kalamata, Greece, July 20--23, 2020. New York, NY: Association for Computing Machinery (ACM). 289--296 (2020; Zbl 07300083) Full Text: DOI
Cerda-Romero, Leonidas; Martínez-Ranero, Carlos The diophantine problem for addition and divisibility for subrings of rational functions over finite fields. (English) Zbl 07299992 Proyecciones 39, No. 3, 721-735 (2020). MSC: 11U05 PDF BibTeX XML Cite \textit{L. Cerda-Romero} and \textit{C. Martínez-Ranero}, Proyecciones 39, No. 3, 721--735 (2020; Zbl 07299992) Full Text: DOI
Toruńczyk, Szymon; Zeume, Thomas Register automata with extrema constraints, and an application to two-variable logic. (English) Zbl 07299519 Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7104-9). 873-885 (2020). MSC: 68 PDF BibTeX XML Cite \textit{S. Toruńczyk} and \textit{T. Zeume}, in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 873--885 (2020; Zbl 07299519) Full Text: DOI
Ramanayake, Revantha Extended Kripke lemma and decidability for hypersequent substructural logics. (English) Zbl 07299513 Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7104-9). 795-806 (2020). MSC: 03B70 PDF BibTeX XML Cite \textit{R. Ramanayake}, in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 795--806 (2020; Zbl 07299513) Full Text: DOI
Czerwiński, Wojciech; Zetzsche, Georg An approach to regular separability in vector addition systems. (English) Zbl 07299480 Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7104-9). 341-354 (2020). MSC: 68 PDF BibTeX XML Cite \textit{W. Czerwiński} and \textit{G. Zetzsche}, in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 341--354 (2020; Zbl 07299480) Full Text: DOI
Bojańczyk, Mikołaj; Kelmendi, Edon; Stefański, Rafał; Zetzsche, Georg Extensions of \(\omega \)-regular languages. (English) Zbl 07299474 Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7104-9). 266-272 (2020). MSC: 03B16 03B25 68Q45 PDF BibTeX XML Cite \textit{M. Bojańczyk} et al., in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 266--272 (2020; Zbl 07299474) Full Text: DOI
Barthe, Gilles; Jacomme, Charlie; Kremer, Steve Universal equivalence and majority of probabilistic programs over finite fields. (English) Zbl 07299466 Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7104-9). 155-166 (2020). MSC: 68 PDF BibTeX XML Cite \textit{G. Barthe} et al., in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 155--166 (2020; Zbl 07299466) Full Text: DOI
Meunier, Pierre-Étienne; Regnault, Damien; Woods, Damien The program-size complexity of self-assembled paths. (English) Zbl 07298283 Makarychev, Konstantin (ed.) et al., Proceedings of the 52nd annual ACM SIGACT symposium on theory of computing, STOC ’20, Chicago, IL, USA, June 22–26, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6979-4). 727-737 (2020). MSC: 68Qxx PDF BibTeX XML Cite \textit{P.-É. Meunier} et al., in: Proceedings of the 52nd annual ACM SIGACT symposium on theory of computing, STOC '20, Chicago, IL, USA, June 22--26, 2020. New York, NY: Association for Computing Machinery (ACM). 727--737 (2020; Zbl 07298283) Full Text: DOI
Il’ev, Artëm Viktorovich V.; Il’ev, Viktor Petrovich On axiomatizability of the class of finitary matroids and decidability of their universal theory. (Russian. English summary) Zbl 07277568 Sib. Èlektron. Mat. Izv. 17, 1730-1740 (2020). MSC: 03C48 05B35 PDF BibTeX XML Cite \textit{A. V. V. Il'ev} and \textit{V. P. Il'ev}, Sib. Èlektron. Mat. Izv. 17, 1730--1740 (2020; Zbl 07277568) Full Text: DOI
Moroz, B. Z.; Norkin, A. A. On a theorem of Matiyasevich. (English. Russian original) Zbl 07270832 Math. Notes 108, No. 3, 344-355 (2020); translation from Mat. Zametki 108, No. 3, 366-379 (2020). MSC: 11U05 PDF BibTeX XML Cite \textit{B. Z. Moroz} and \textit{A. A. Norkin}, Math. Notes 108, No. 3, 344--355 (2020; Zbl 07270832); translation from Mat. Zametki 108, No. 3, 366--379 (2020) Full Text: DOI
Rafi, Kasra; Selinger, Nikita; Yampolsky, Michael Centralizers in mapping class groups and decidability of Thurston equivalence. (English) Zbl 07270228 Arnold Math. J. 6, No. 2, 271-290 (2020). MSC: 22 37F 30C PDF BibTeX XML Cite \textit{K. Rafi} et al., Arnold Math. J. 6, No. 2, 271--290 (2020; Zbl 07270228) Full Text: DOI
Larchey-Wendling, Dominique Constructive decision via redundancy-free proof-search. (English) Zbl 07268899 J. Autom. Reasoning 64, No. 7, 1197-1219 (2020). MSC: 68V15 PDF BibTeX XML Cite \textit{D. Larchey-Wendling}, J. Autom. Reasoning 64, No. 7, 1197--1219 (2020; Zbl 07268899) Full Text: DOI
Rasga, João; Sernadas, Cristina Decidability of logical theories and their combination. (English) Zbl 07261772 Studies in Universal Logic. Cham: Birkhäuser (ISBN 978-3-030-56553-4/hbk; 978-3-030-56554-1/ebook). xiii, 178 p. (2020). MSC: 03-01 03B10 03B25 PDF BibTeX XML Cite \textit{J. Rasga} and \textit{C. Sernadas}, Decidability of logical theories and their combination. Cham: Birkhäuser (2020; Zbl 07261772) Full Text: DOI
Springer, Caleb Undecidability, unit groups, and some totally imaginary infinite extensions of \(\mathbb{Q}\). (English) Zbl 07243343 Proc. Am. Math. Soc. 148, No. 11, 4705-4715 (2020). MSC: 11R04 11U05 11R80 11D99 03D35 PDF BibTeX XML Cite \textit{C. Springer}, Proc. Am. Math. Soc. 148, No. 11, 4705--4715 (2020; Zbl 07243343) Full Text: DOI
Zhang, Kuize; Giua, Alessandro On detectability of labeled Petri nets and finite automata. (English) Zbl 1448.93038 Discrete Event Dyn. Syst. 30, No. 3, 465-497 (2020). MSC: 93B07 93C65 68Q45 PDF BibTeX XML Cite \textit{K. Zhang} and \textit{A. Giua}, Discrete Event Dyn. Syst. 30, No. 3, 465--497 (2020; Zbl 1448.93038) Full Text: DOI
Copeland, B. Jack; Shagrir, Oron Physical computability theses. (English) Zbl 07242203 Hemmo, Meir (ed.) et al., Quantum, probability, logic. The work and influence of Itamar Pitowsky. Cham: Springer (ISBN 978-3-030-34315-6/hbk; 978-3-030-34316-3/ebook). Jerusalem Studies in Philosophy and History of Science, 217-231 (2020). MSC: 03 81 60 PDF BibTeX XML Cite \textit{B. J. Copeland} and \textit{O. Shagrir}, in: Quantum, probability, logic. The work and influence of Itamar Pitowsky. Cham: Springer. 217--231 (2020; Zbl 07242203) Full Text: DOI
Bílková, Marta; Colacito, Almudena Proof theory for positive logic with weak negation. (English) Zbl 07239279 Stud. Log. 108, No. 4, 649-686 (2020). MSC: 03 PDF BibTeX XML Cite \textit{M. Bílková} and \textit{A. Colacito}, Stud. Log. 108, No. 4, 649--686 (2020; Zbl 07239279) Full Text: DOI
Garcia-Fritz, Natalia; Pasten, Hector Towards Hilbert’s tenth problem for rings of integers through Iwasawa theory and Heegner points. (English) Zbl 07229151 Math. Ann. 377, No. 3-4, 989-1013 (2020). MSC: 11G05 11U05 PDF BibTeX XML Cite \textit{N. Garcia-Fritz} and \textit{H. Pasten}, Math. Ann. 377, No. 3--4, 989--1013 (2020; Zbl 07229151) Full Text: DOI
Figueira, Diego; Majumdar, Anirban; Praveen, M. Playing with repetitions in data words using energy games. (English) Zbl 07226003 Log. Methods Comput. Sci. 16, No. 3, Paper No. 1, 42 p. (2020). MSC: 91A05 03B25 03B70 68Q17 PDF BibTeX XML Cite \textit{D. Figueira} et al., Log. Methods Comput. Sci. 16, No. 3, Paper No. 1, 42 p. (2020; Zbl 07226003) Full Text: Link arXiv
Labai, Nadia; Kotek, Tomer; Ortiz, Magdalena; Veith, Helmut Pebble-intervals automata and \(\text{FO}^2\) with two orders. (English) Zbl 1437.68100 Leporati, Alberto (ed.) et al., Language and automata theory and applications. 14th international conference, LATA 2020, Milan, Italy, March 4–6, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12038, 208-221 (2020). MSC: 68Q45 03B25 03B70 03D05 PDF BibTeX XML Cite \textit{N. Labai} et al., Lect. Notes Comput. Sci. 12038, 208--221 (2020; Zbl 1437.68100) Full Text: DOI
Bès, Alexis; Choffrut, Christian \(\langle\mathbb{R},+,<,1\rangle\) is decidable in \(\langle \mathbb{R},+,<,\mathbb{Z}\rangle\). (English) Zbl 07225119 Leporati, Alberto (ed.) et al., Language and automata theory and applications. 14th international conference, LATA 2020, Milan, Italy, March 4–6, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-40607-3/pbk; 978-3-030-40608-0/ebook). Lecture Notes in Computer Science 12038, 128-140 (2020). MSC: 03B25 PDF BibTeX XML Cite \textit{A. Bès} and \textit{C. Choffrut}, Lect. Notes Comput. Sci. 12038, 128--140 (2020; Zbl 07225119) Full Text: DOI
Jeż, Artur Recompression: technique for word equations and compressed data. (English) Zbl 1437.68098 Leporati, Alberto (ed.) et al., Language and automata theory and applications. 14th international conference, LATA 2020, Milan, Italy, March 4–6, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12038, 44-67 (2020). MSC: 68Q45 03B25 03D05 68P30 68Q70 68W40 PDF BibTeX XML Cite \textit{A. Jeż}, Lect. Notes Comput. Sci. 12038, 44--67 (2020; Zbl 1437.68098) Full Text: DOI
Daviaud, Laure Containment and equivalence of weighted automata: probabilistic and max-plus cases. (English) Zbl 1437.68093 Leporati, Alberto (ed.) et al., Language and automata theory and applications. 14th international conference, LATA 2020, Milan, Italy, March 4–6, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12038, 17-32 (2020). MSC: 68Q45 PDF BibTeX XML Cite \textit{L. Daviaud}, Lect. Notes Comput. Sci. 12038, 17--32 (2020; Zbl 1437.68093) Full Text: DOI
Rybakov, Vladimir Vladimirovich Temporal logic with accessibility temporal relations generated by time states themselves. (English) Zbl 1437.03081 Sib. Èlektron. Mat. Izv. 17, 923-932 (2020). MSC: 03B44 68T27 PDF BibTeX XML Cite \textit{V. V. Rybakov}, Sib. Èlektron. Mat. Izv. 17, 923--932 (2020; Zbl 1437.03081) Full Text: DOI
Peretyat’kin, Mikhaĭl G. The Tarski-Lindenbaum algebra of the class of all prime strongly constructivizable models of algorithmic dimension one. (English) Zbl 1437.03128 Sib. Èlektron. Mat. Izv. 17, 913-922 (2020). MSC: 03C57 03D45 03B10 03B25 03G05 PDF BibTeX XML Cite \textit{M. G. Peretyat'kin}, Sib. Èlektron. Mat. Izv. 17, 913--922 (2020; Zbl 1437.03128) Full Text: DOI
Balbiani, Philippe About the temporal logic of the lexicographic products of unbounded dense linear orders: a new study of its computability. (English) Zbl 07220053 Ju, Shier (ed.) et al., Nonclassical logics and their applications. Post-proceedings of the 8th international workshop on logic and cognition, WOLC 2016, Guangzhou, China, December 5–9, 2016. Singapore: Springer (ISBN 978-981-15-1341-1/hbk; 978-981-15-1342-8/ebook). Logic in Asia: Studia Logica Library, 67-83 (2020). MSC: 03B PDF BibTeX XML Cite \textit{P. Balbiani}, in: Nonclassical logics and their applications. Post-proceedings of the 8th international workshop on logic and cognition, WOLC 2016, Guangzhou, China, December 5--9, 2016. Singapore: Springer. 67--83 (2020; Zbl 07220053) Full Text: DOI
Lambotte, Quentin; Point, Françoise On expansions of \((\mathbf{Z},+,0)\). (English) Zbl 07207188 Ann. Pure Appl. Logic 171, No. 8, Article ID 102809, 35 p. (2020). MSC: 03B25 03C10 03C35 03C45 PDF BibTeX XML Cite \textit{Q. Lambotte} and \textit{F. Point}, Ann. Pure Appl. Logic 171, No. 8, Article ID 102809, 35 p. (2020; Zbl 07207188) Full Text: DOI
Doder, Dragan; Savić, Nenad; Ognjanović, Zoran Multi-agent logics for reasoning about higher-order upper and lower probabilities. (English) Zbl 07205184 J. Logic Lang. Inf. 29, No. 1, 77-107 (2020). MSC: 03B48 03B25 PDF BibTeX XML Cite \textit{D. Doder} et al., J. Logic Lang. Inf. 29, No. 1, 77--107 (2020; Zbl 07205184) Full Text: DOI
Chilikov, A. A.; Belov-Kanel, Alexey Exponential Diophantine equations in rings of positive characteristic. (English) Zbl 1442.11170 J. Knot Theory Ramifications 29, No. 2, Article ID 2040002, 21 p. (2020). MSC: 11U05 11D61 68Q45 PDF BibTeX XML Cite \textit{A. A. Chilikov} and \textit{A. Belov-Kanel}, J. Knot Theory Ramifications 29, No. 2, Article ID 2040002, 21 p. (2020; Zbl 1442.11170) Full Text: DOI
Kokkinis, Ioannis; Ognjanović, Zoran; Studer, Thomas Probabilistic justification logic. (English) Zbl 07194700 J. Log. Comput. 30, No. 1, 257-280 (2020). MSC: 03 68 PDF BibTeX XML Cite \textit{I. Kokkinis} et al., J. Log. Comput. 30, No. 1, 257--280 (2020; Zbl 07194700) Full Text: DOI
Visser, Albert Another look at the second incompleteness theorem. (English) Zbl 1444.03168 Rev. Symb. Log. 13, No. 2, 269-295 (2020). Reviewer: Victor V. Pambuccian (Glendale) MSC: 03F40 03B25 03F25 03F30 03F45 03A05 PDF BibTeX XML Cite \textit{A. Visser}, Rev. Symb. Log. 13, No. 2, 269--295 (2020; Zbl 1444.03168) Full Text: DOI
Matos, Armando B.; Paolini, Luca; Roversi, Luca The fixed point problem of a simple reversible language. (English) Zbl 1433.68079 Theor. Comput. Sci. 813, 143-154 (2020). MSC: 68N15 03B70 68N30 68Q09 PDF BibTeX XML Cite \textit{A. B. Matos} et al., Theor. Comput. Sci. 813, 143--154 (2020; Zbl 1433.68079) Full Text: DOI
Esbelin, Henri-Alex; Gutan, Marin Relations in the semigroup of \(2\times 2\) upper-triangular matrices. (English) Zbl 07190122 Int. J. Algebra Comput. 30, No. 3, 567-584 (2020). MSC: 03B70 20M05 11D61 11D72 PDF BibTeX XML Cite \textit{H.-A. Esbelin} and \textit{M. Gutan}, Int. J. Algebra Comput. 30, No. 3, 567--584 (2020; Zbl 07190122) Full Text: DOI
Teucke, Andreas; Weidenbach, Christoph SPASS-AR: a first-order theorem prover based on approximation-refinement into the monadic shallow linear fragment. (English) Zbl 07176612 J. Autom. Reasoning 64, No. 3, 611-640 (2020). MSC: 68V15 PDF BibTeX XML Cite \textit{A. Teucke} and \textit{C. Weidenbach}, J. Autom. Reasoning 64, No. 3, 611--640 (2020; Zbl 07176612) Full Text: DOI
Bhattacharya, Siddhartha Periodicity and decidability of tilings of \(\mathbb{Z}^2\). (English) Zbl 1454.11125 Am. J. Math. 142, No. 1, 255-266 (2020). Reviewer: Altino Manuel Folgado dos Santos (Vila Real) MSC: 11H31 52C20 37B52 PDF BibTeX XML Cite \textit{S. Bhattacharya}, Am. J. Math. 142, No. 1, 255--266 (2020; Zbl 1454.11125) Full Text: DOI arXiv
Balbiani, Philippe; Boudou, Joseph; Diéguez, Martín; Fernández-Duque, David Intuitionistic linear temporal logics. (English) Zbl 1433.03047 ACM Trans. Comput. Log. 21, No. 2, Article No. 14, 32 p. (2020). MSC: 03B44 03B20 03B47 03B25 PDF BibTeX XML Cite \textit{P. Balbiani} et al., ACM Trans. Comput. Log. 21, No. 2, Article No. 14, 32 p. (2020; Zbl 1433.03047) Full Text: DOI
Feng, Shiguang; Carapelle, Claudia; Gil, Oliver Fernández; Quaas, Karin MTL and TPTL for one-counter machines. Expressiveness, model checking, and satisfiability. (English) Zbl 1433.68215 ACM Trans. Comput. Log. 21, No. 2, Article No. 12, 34 p. (2020). MSC: 68Q60 03B25 03B44 PDF BibTeX XML Cite \textit{S. Feng} et al., ACM Trans. Comput. Log. 21, No. 2, Article No. 12, 34 p. (2020; Zbl 1433.68215) Full Text: DOI
Amrane, Amazigh; Bedon, Nicolas Logic and rational languages of scattered and countable series-parallel posets. (English) Zbl 1453.03037 Theor. Comput. Sci. 809, 538-562 (2020). Reviewer: Roger Villemaire (Montréal) MSC: 03D05 03B25 68Q45 PDF BibTeX XML Cite \textit{A. Amrane} and \textit{N. Bedon}, Theor. Comput. Sci. 809, 538--562 (2020; Zbl 1453.03037) Full Text: DOI
D’Angeli, Daniele; Rodaro, Emanuele; Wächter, Jan Philipp Orbit expandability of automaton semigroups and groups. (English) Zbl 1455.68107 Theor. Comput. Sci. 809, 418-429 (2020). Reviewer: Peter Kostolányi (Bratislava) MSC: 68Q70 20F10 20M35 PDF BibTeX XML Cite \textit{D. D'Angeli} et al., Theor. Comput. Sci. 809, 418--429 (2020; Zbl 1455.68107) Full Text: DOI
Martínez-Ranero, Carlos; Utreras, Javier; Videla, Carlos R. Undecidability of \(\mathbb{Q}^{(2)} \). (English) Zbl 1455.11166 Proc. Am. Math. Soc. 148, No. 3, 961-964 (2020). Reviewer: Alexandra Shlapentokh (Greenville) MSC: 11U05 03B25 11R11 PDF BibTeX XML Cite \textit{C. Martínez-Ranero} et al., Proc. Am. Math. Soc. 148, No. 3, 961--964 (2020; Zbl 1455.11166) Full Text: DOI
Salehi, Saeed; Zarza, Mohammadsaleh First-order continuous induction and a logical study of real closed fields. (English) Zbl 07157008 Bull. Iran. Math. Soc. 46, No. 1, 225-243 (2020). MSC: 03B25 03C35 03C10 12L05 PDF BibTeX XML Cite \textit{S. Salehi} and \textit{M. Zarza}, Bull. Iran. Math. Soc. 46, No. 1, 225--243 (2020; Zbl 07157008) Full Text: DOI
Stronkowski, Michał M. Deciding active structural completeness. (English) Zbl 07153013 Arch. Math. Logic 59, No. 1-2, 149-165 (2020). MSC: 03C05 03B60 68Q17 08B26 08B10 PDF BibTeX XML Cite \textit{M. M. Stronkowski}, Arch. Math. Logic 59, No. 1--2, 149--165 (2020; Zbl 07153013) Full Text: DOI
Niskanen, R.; Potapov, I.; Reichert, J. On decidability and complexity of low-dimensional robot games. (English) Zbl 1436.91002 J. Comput. Syst. Sci. 107, 124-141 (2020). MSC: 91A05 68Q17 68Q25 PDF BibTeX XML Cite \textit{R. Niskanen} et al., J. Comput. Syst. Sci. 107, 124--141 (2020; Zbl 1436.91002) Full Text: DOI
Bednarczyk, Bartosz One-variable logic meets Presburger arithmetic. (English) Zbl 1454.03038 Theor. Comput. Sci. 802, 141-146 (2020). MSC: 03B70 03B25 68Q17 PDF BibTeX XML Cite \textit{B. Bednarczyk}, Theor. Comput. Sci. 802, 141--146 (2020; Zbl 1454.03038) Full Text: DOI
L’Innocente, Sonia; Point, Françoise Bézout domains and lattice-valued modules. (English) Zbl 07094384 J. Pure Appl. Algebra 224, No. 1, 444-467 (2020). MSC: 03C60 03B25 13A18 06F15 PDF BibTeX XML Cite \textit{S. L'Innocente} and \textit{F. Point}, J. Pure Appl. Algebra 224, No. 1, 444--467 (2020; Zbl 07094384) Full Text: DOI arXiv
Lynch, Peter Goldbach’s conjecture: if it’s unprovable, it must be true. (English) Zbl 07344633 Ir. Math. Soc. Bull. 86, 103-106 (2020). MSC: 11P32 03B25 PDF BibTeX XML Cite \textit{P. Lynch}, Ir. Math. Soc. Bull. 86, 103--106 (2019; Zbl 07344633) Full Text: Link
Nikitin, A. Yu. Decidability of the restricted theories of a class of partial orders. (Russian. English summary) Zbl 07311663 Prikl. Diskretn. Mat. 2019, No. 45, 6-12 (2019). MSC: 03 08 PDF BibTeX XML Cite \textit{A. Yu. Nikitin}, Prikl. Diskretn. Mat. 2019, No. 45, 6--12 (2019; Zbl 07311663) Full Text: DOI MNR
Rybalov, A. N. On generic undecidability of Hilbert’s tenth problem for polynomial trees. (Russian. English summary) Zbl 07311660 Prikl. Diskretn. Mat. 2019, No. 44, 107-112 (2019). MSC: 11U05 PDF BibTeX XML Cite \textit{A. N. Rybalov}, Prikl. Diskretn. Mat. 2019, No. 44, 107--112 (2019; Zbl 07311660) Full Text: DOI MNR
Ma, Xi-Ao; Yao, Yiyu Min-max attribute-object bireducts: on unifying models of reducts in rough set theory. (English) Zbl 1453.68183 Inf. Sci. 501, 68-83 (2019). MSC: 68T37 PDF BibTeX XML Cite \textit{X.-A. Ma} and \textit{Y. Yao}, Inf. Sci. 501, 68--83 (2019; Zbl 1453.68183) Full Text: DOI
Balliu, Alkida; Brandt, Sebastian; Chang, Yi-Jun; Olivetti, Dennis; Rabie, Mikaël; Suomela, Jukka The distributed complexity of locally checkable problems on paths is decidable. (English) Zbl 07298685 Nowak, Thomas (ed.), Proceedings of the 38th ACM symposium on principles of distributed computing, PODC ’19, Toronto, ON, Canada, July 29 – August 2, 2019. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6217-7). 262-271 (2019). MSC: 68M14 68W15 PDF BibTeX XML Cite \textit{A. Balliu} et al., in: Proceedings of the 38th ACM symposium on principles of distributed computing, PODC '19, Toronto, ON, Canada, July 29 -- August 2, 2019. New York, NY: Association for Computing Machinery (ACM). 262--271 (2019; Zbl 07298685) Full Text: DOI
Dennunzio, Alberto; Formenti, Enrico; Manzoni, Luca; Margara, Luciano; Porreca, Antonio E. On the dynamical behaviour of linear higher-order cellular automata and its decidability. (English) Zbl 1456.37019 Inf. Sci. 486, 73-87 (2019). MSC: 37B15 PDF BibTeX XML Cite \textit{A. Dennunzio} et al., Inf. Sci. 486, 73--87 (2019; Zbl 1456.37019) Full Text: DOI
Margenstern, Maurice A decidability result for the halting of cellular automata on the pentagrid. (English) Zbl 1456.68105 Complex Syst. 28, No. 2, 175-196 (2019). MSC: 68Q80 05B45 PDF BibTeX XML Cite \textit{M. Margenstern}, Complex Syst. 28, No. 2, 175--196 (2019; Zbl 1456.68105) Full Text: DOI
Augusto, Luis M. Formal logic. Classical problems and proofs. (English) Zbl 1451.03001 Studies in Logic (London) 82. London: College Publications (ISBN 978-1-84890-317-3). xix, 404 p. (2019). MSC: 03-01 03A05 03B10 03B25 03B35 68V15 PDF BibTeX XML Cite \textit{L. M. Augusto}, Formal logic. Classical problems and proofs. London: College Publications (2019; Zbl 1451.03001)
Hamana, Makoto How to prove decidability of equational theories with second-order computation analyser SOL. (English) Zbl 1442.68027 J. Funct. Program. 29, Paper No. e20, 53 p. (2019). MSC: 68N18 03B25 03B40 03B70 18M05 68N15 68N30 68V15 PDF BibTeX XML Cite \textit{M. Hamana}, J. Funct. Program. 29, Paper No. e20, 53 p. (2019; Zbl 1442.68027) Full Text: DOI
Lick, Anthony A hypersequent calculus with clusters for data logic over ordinals. (English) Zbl 1435.03057 Cerrito, Serenella (ed.) et al., Automated reasoning with analytic tableaux and related methods. 28th international conference, TABLEAUX 2019, London, UK, September 3–5, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11714, 166-184 (2019). MSC: 03B70 03B25 03B44 03F03 PDF BibTeX XML Cite \textit{A. Lick}, Lect. Notes Comput. Sci. 11714, 166--184 (2019; Zbl 1435.03057) Full Text: DOI
Wolf, Petra On the decidability of finding a positive ILP-instance in a regular set of ILP-instances. (English) Zbl 1434.68291 Hospodár, Michal (ed.) et al., Descriptional complexity of formal systems. 21st IFIP WG 1.02 international conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11612, 272-284 (2019). MSC: 68Q45 03B25 90C10 PDF BibTeX XML Cite \textit{P. Wolf}, Lect. Notes Comput. Sci. 11612, 272--284 (2019; Zbl 1434.68291) Full Text: DOI
Ogawa, Mizuhito; Selivanov, Victor On classes of regular languages related to monotone WQOs. (English) Zbl 1434.68280 Hospodár, Michal (ed.) et al., Descriptional complexity of formal systems. 21st IFIP WG 1.02 international conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11612, 235-247 (2019). MSC: 68Q45 03B25 06A06 PDF BibTeX XML Cite \textit{M. Ogawa} and \textit{V. Selivanov}, Lect. Notes Comput. Sci. 11612, 235--247 (2019; Zbl 1434.68280) Full Text: DOI
Kutrib, Martin; Malcher, Andreas; Mereghetti, Carlo; Palano, Beatrice Descriptional complexity of iterated uniform finite-state transducers. (English) Zbl 1434.68272 Hospodár, Michal (ed.) et al., Descriptional complexity of formal systems. 21st IFIP WG 1.02 international conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11612, 223-234 (2019). MSC: 68Q45 PDF BibTeX XML Cite \textit{M. Kutrib} et al., Lect. Notes Comput. Sci. 11612, 223--234 (2019; Zbl 1434.68272) Full Text: DOI
Kikot, Stanislav; Kurucz, Agi; Tanaka, Yoshihito; Wolter, Frank; Zakharyaschev, Michael Kripke completeness of strictly positive modal logics over meet-semilattices with operators. (English) Zbl 1444.03063 J. Symb. Log. 84, No. 2, 533-588 (2019). Reviewer: Osamu Sonobe (Follonica) MSC: 03B45 03G25 PDF BibTeX XML Cite \textit{S. Kikot} et al., J. Symb. Log. 84, No. 2, 533--588 (2019; Zbl 1444.03063) Full Text: DOI
Giesl, Jürgen; Giesl, Peter; Hark, Marcel Computing expected runtimes for constant probability programs. (English) Zbl 07178981 Fontaine, Pascal (ed.), Automated deduction – CADE 27. 27th international conference on automated deduction, Natal, Brazil, August 27–30, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-29435-9/pbk; 978-3-030-29436-6/ebook). Lecture Notes in Computer Science 11716. Lecture Notes in Artificial Intelligence, 269-286 (2019). MSC: 03B35 68V15 PDF BibTeX XML Cite \textit{J. Giesl} et al., Lect. Notes Comput. Sci. 11716, 269--286 (2019; Zbl 07178981) Full Text: DOI
Buzaglo, Meir Gödel’s second theorem and the provability of God’s existence. (English) Zbl 07170328 Log. Univers. 13, No. 4, 541-549 (2019). MSC: 03B35 03B25 03B42 01A30 01A50 PDF BibTeX XML Cite \textit{M. Buzaglo}, Log. Univers. 13, No. 4, 541--549 (2019; Zbl 07170328) Full Text: DOI
Bonzio, Stefano; Flaminio, Tommaso; Galeazzi, Paolo Sure-wins under coherence: a geometrical perspective. (English) Zbl 07170147 Kern-Isberner, Gabriele (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 15th European conference, ECSQARU 2019, Belgrade, Serbia, September 18–20, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-29764-0/pbk; 978-3-030-29765-7/ebook). Lecture Notes in Computer Science 11726. Lecture Notes in Artificial Intelligence, 363-373 (2019). MSC: 68T37 PDF BibTeX XML Cite \textit{S. Bonzio} et al., Lect. Notes Comput. Sci. 11726, 363--373 (2019; Zbl 07170147) Full Text: DOI
Durand, Fabien; Goyheneche, Valérie Decidability, arithmetic subsequences and eigenvalues of morphic subshifts. (English) Zbl 1432.37018 Bull. Belg. Math. Soc. - Simon Stevin 26, No. 4, 591-618 (2019). MSC: 37B10 68R15 68Q45 03D05 94A55 03B25 37B15 PDF BibTeX XML Cite \textit{F. Durand} and \textit{V. Goyheneche}, Bull. Belg. Math. Soc. - Simon Stevin 26, No. 4, 591--618 (2019; Zbl 1432.37018) Full Text: DOI Euclid
Achimescu, Andreea; Baltag, Alexandru; Sack, Joshua The probabilistic logic of communication and change. (English) Zbl 1444.03020 J. Log. Comput. 29, No. 7, 1015-1040 (2019). MSC: 03B42 03B48 03B25 68T27 68T42 PDF BibTeX XML Cite \textit{A. Achimescu} et al., J. Log. Comput. 29, No. 7, 1015--1040 (2019; Zbl 1444.03020) Full Text: DOI
Szwast, Wiesław; Tendera, Lidia On the satisfiability problem for fragments of two-variable logic with one transitive relation. (English) Zbl 1444.03011 J. Log. Comput. 29, No. 6, 881-911 (2019). MSC: 03B25 03B20 68Q25 PDF BibTeX XML Cite \textit{W. Szwast} and \textit{L. Tendera}, J. Log. Comput. 29, No. 6, 881--911 (2019; Zbl 1444.03011) Full Text: DOI
Statman, Rick Simple subtypes of intersection types. (English) Zbl 1446.03033 Fundam. Inform. 170, No. 1-3, 307-324 (2019). MSC: 03B38 03D35 03B25 03F03 PDF BibTeX XML Cite \textit{R. Statman}, Fundam. Inform. 170, No. 1--3, 307--324 (2019; Zbl 1446.03033) Full Text: DOI
Espírito Santo, José; Matthes, Ralph; Pinto, Luís Decidability of several concepts of finiteness for simple types. (English) Zbl 1446.03036 Fundam. Inform. 170, No. 1-3, 111-138 (2019). MSC: 03B40 03B25 PDF BibTeX XML Cite \textit{J. Espírito Santo} et al., Fundam. Inform. 170, No. 1--3, 111--138 (2019; Zbl 1446.03036) Full Text: DOI
Dudenhefner, Andrej; Rehof, Jakob Undecidability of intersection type inhabitation at rank 3 and its formalization. (English) Zbl 1446.03035 Fundam. Inform. 170, No. 1-3, 93-110 (2019). MSC: 03B40 03D03 03D35 03B25 PDF BibTeX XML Cite \textit{A. Dudenhefner} and \textit{J. Rehof}, Fundam. Inform. 170, No. 1--3, 93--110 (2019; Zbl 1446.03035) Full Text: DOI
Bayer, Jonas; David, Marco; Pal, Abhik; Stock, Benedikt Beginners’ quest to formalize mathematics: a feasibility study in Isabelle. (English) Zbl 1428.68340 Kaliszyk, Cezary (ed.) et al., Intelligent computer mathematics. 12th international conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11617, 16-27 (2019). MSC: 68V15 11U05 68V20 PDF BibTeX XML Cite \textit{J. Bayer} et al., Lect. Notes Comput. Sci. 11617, 16--27 (2019; Zbl 1428.68340) Full Text: DOI
Tang, Fangfang From Wittgenstein’s N-operator to a new notation for some decidable modal logics. (English) Zbl 1427.03038 Hist. Philos. Log. 40, No. 1, 63-80 (2019). MSC: 03B45 03B25 PDF BibTeX XML Cite \textit{F. Tang}, Hist. Philos. Log. 40, No. 1, 63--80 (2019; Zbl 1427.03038) Full Text: DOI
Filiot, Emmanuel; Gauwin, Olivier; Lhote, Nathan Logical and algebraic characterizations of rational transductions. (English) Zbl 1440.68173 Log. Methods Comput. Sci. 15, No. 4, Paper No. 16, 42 p. (2019). Reviewer: Peter Kostolányi (Bratislava) MSC: 68Q70 03D05 PDF BibTeX XML Cite \textit{E. Filiot} et al., Log. Methods Comput. Sci. 15, No. 4, Paper No. 16, 42 p. (2019; Zbl 1440.68173) Full Text: arXiv
Kanel’-Belov, A. Ya.; Chilikov, A. A. On the algorithmic undecidability of the embeddability problem for algebraic varieties over a field of characteristic zero. (English. Russian original) Zbl 1442.14185 Math. Notes 106, No. 2, 299-302 (2019); translation from Mat. Zametki 106, No. 2, 307-310 (2019). MSC: 14Q20 11U05 14E25 PDF BibTeX XML Cite \textit{A. Ya. Kanel'-Belov} and \textit{A. A. Chilikov}, Math. Notes 106, No. 2, 299--302 (2019; Zbl 1442.14185); translation from Mat. Zametki 106, No. 2, 307--310 (2019) Full Text: DOI
Bludov, Vasiliĭ Vasil’evich; Peryazev, Nikolaĭ Alekseevich; Vinokurov, Sergeĭ Fedorovich; Panteleev, Vladimir Innokent’evich To the 90th anniversary of the birth of A. I. Kokorin. Stages of scientific and pedagogical way. (Russian. English summary) Zbl 1427.01013 Izv. Irkutsk. Gos. Univ., Ser. Mat. 29, 138-154 (2019). MSC: 01A70 06-03 03-03 PDF BibTeX XML Cite \textit{V. V. Bludov} et al., Izv. Irkutsk. Gos. Univ., Ser. Mat. 29, 138--154 (2019; Zbl 1427.01013) Full Text: DOI Link
Baginová Jajcayová, Tatiana Schützenberger automata for HNN-extensions of inverse monoids and their use in algorithmic questions. (English) Zbl 1435.68204 Inf. Comput. 269, Article ID 104448, 25 p. (2019). MSC: 68Q70 20M05 20M18 PDF BibTeX XML Cite \textit{T. Baginová Jajcayová}, Inf. Comput. 269, Article ID 104448, 25 p. (2019; Zbl 1435.68204) Full Text: DOI
Kravchenko, A. V.; Nurakunov, A. M.; Schwidefsky, M. V. Structure of quasivariety lattices. II: Undecidable problems. (English. Russian original) Zbl 1444.08005 Algebra Logic 58, No. 2, 123-136 (2019); translation from Algebra Logika 58, No. 2, 179-199 (2019). Reviewer: Keith Kearnes (Boulder) MSC: 08C15 08B15 08B05 03B25 PDF BibTeX XML Cite \textit{A. V. Kravchenko} et al., Algebra Logic 58, No. 2, 123--136 (2019; Zbl 1444.08005); translation from Algebra Logika 58, No. 2, 179--199 (2019) Full Text: DOI
Kutrib, Martin; Malcher, Andreas Iterative arrays with finite inter-cell communication. (English) Zbl 1425.68282 Castillo-Ramirez, Alonso (ed.) et al., Cellular automata and discrete complex systems. 25th IFIP WG 1.5 international workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26–28, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11525, 35-47 (2019). MSC: 68Q80 03B25 PDF BibTeX XML Cite \textit{M. Kutrib} and \textit{A. Malcher}, Lect. Notes Comput. Sci. 11525, 35--47 (2019; Zbl 1425.68282) Full Text: DOI
Amrane, Amazigh; Bedon, Nicolas Logic and rational languages of scattered and countable series-parallel posets. (English) Zbl 1425.03013 Martín-Vide, Carlos (ed.) et al., Language and automata theory and applications. 13th international conference, LATA 2019, St. Petersburg, Russia, March 26–29, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11417, 275-287 (2019). MSC: 03D05 03B25 PDF BibTeX XML Cite \textit{A. Amrane} and \textit{N. Bedon}, Lect. Notes Comput. Sci. 11417, 275--287 (2019; Zbl 1425.03013) Full Text: DOI
Balbiani, Philippe; Boudou, Joseph Axiomatization and computability of a variant of iteration-free PDL with fork. (English) Zbl 1435.03055 J. Log. Algebr. Methods Program. 108, 47-68 (2019). MSC: 03B70 03B25 PDF BibTeX XML Cite \textit{P. Balbiani} and \textit{J. Boudou}, J. Log. Algebr. Methods Program. 108, 47--68 (2019; Zbl 1435.03055) Full Text: DOI
Place, Thomas; Zeitoun, Marc Going higher in first-order quantifier alternation hierarchies on words. (English) Zbl 1427.03050 J. ACM 66, No. 2, Article No. 12, 65 p. (2019). MSC: 03D05 03B25 03C13 PDF BibTeX XML Cite \textit{T. Place} and \textit{M. Zeitoun}, J. ACM 66, No. 2, Article No. 12, 65 p. (2019; Zbl 1427.03050) Full Text: DOI
Cho, Da-Jung; Han, Yo-Sub; Salomaa, Kai; Smith, Taylor J. Site-directed insertion: language equations and decision problems. (English) Zbl 1435.68151 Theor. Comput. Sci. 798, 40-51 (2019). MSC: 68Q45 PDF BibTeX XML Cite \textit{D.-J. Cho} et al., Theor. Comput. Sci. 798, 40--51 (2019; Zbl 1435.68151) Full Text: DOI
Goranko, Valentin; Kuusisto, Antti; Rönnholm, Raine Alternating-time temporal logic ATL with finitely bounded semantics. (English) Zbl 1434.03067 Theor. Comput. Sci. 797, 129-155 (2019). MSC: 03B44 03B25 68Q17 68T27 PDF BibTeX XML Cite \textit{V. Goranko} et al., Theor. Comput. Sci. 797, 129--155 (2019; Zbl 1434.03067) Full Text: DOI
Holliday, Wesley H.; Litak, Tadeusz Complete additivity and modal incompleteness. (English) Zbl 07124571 Rev. Symb. Log. 12, No. 3, 487-535 (2019). MSC: 03B45 06E25 03F45 03B44 03B25 PDF BibTeX XML Cite \textit{W. H. Holliday} and \textit{T. Litak}, Rev. Symb. Log. 12, No. 3, 487--535 (2019; Zbl 07124571) Full Text: DOI
Rybakov, Vladimir Vladimirovich Branching time agents logics, satisfiability problem by rules in reduced form. (English) Zbl 1436.03126 Sib. Èlektron. Mat. Izv. 16, 1158-1170 (2019). MSC: 03B44 03B70 PDF BibTeX XML Cite \textit{V. V. Rybakov}, Sib. Èlektron. Mat. Izv. 16, 1158--1170 (2019; Zbl 1436.03126) Full Text: DOI
Schmitz, Sylvain; Zetzsche, Georg Coverability Is undecidable in one-dimensional pushdown vector addition systems with resets. (English) Zbl 07121146 Filiot, Emmanuel (ed.) et al., Reachability problems. 13th international conference, RP 2019, Brussels, Belgium, September 11–13, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-30805-6/pbk; 978-3-030-30806-3/ebook). Lecture Notes in Computer Science 11674, 193-201 (2019). MSC: 68Qxx PDF BibTeX XML Cite \textit{S. Schmitz} and \textit{G. Zetzsche}, Lect. Notes Comput. Sci. 11674, 193--201 (2019; Zbl 07121146) Full Text: DOI
Sandler, Andrei; Tveretina, Olga Deciding reachability for piecewise constant derivative systems on orientable manifolds. (English) Zbl 07121145 Filiot, Emmanuel (ed.) et al., Reachability problems. 13th international conference, RP 2019, Brussels, Belgium, September 11–13, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-30805-6/pbk; 978-3-030-30806-3/ebook). Lecture Notes in Computer Science 11674, 178-192 (2019). MSC: 68Qxx PDF BibTeX XML Cite \textit{A. Sandler} and \textit{O. Tveretina}, Lect. Notes Comput. Sci. 11674, 178--192 (2019; Zbl 07121145) Full Text: DOI
Fijalkow, Nathanaël; Ouaknine, Joël; Pouly, Amaury; Sousa-Pinto, João; Worrell, James On the decidability of reachability in linear time-invariant systems. (English) Zbl 07120143 Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6282-5). 77-86 (2019). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{N. Fijalkow} et al., in: Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16--18, 2019. New York, NY: Association for Computing Machinery (ACM). 77--86 (2019; Zbl 07120143) Full Text: DOI arXiv
Toffalori, Carlo Decidability and modules over Bézout domains. (English) Zbl 07120058 Facchini, Alberto (ed.) et al., Model theory of modules, algebras and categories. International conference, Ettore Majorana Foundation and Centre for Scientific Culture, Erice, Italy, July 28 – August 2, 2017. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-4367-2/pbk; 978-1-4704-5295-7/ebook). Contemporary Mathematics 730, 223-237 (2019). MSC: 03C60 03C98 03B25 13F05 PDF BibTeX XML Cite \textit{C. Toffalori}, Contemp. Math. 730, 223--237 (2019; Zbl 07120058) Full Text: DOI
Cheon, Hyunjoon; Han, Yo-Sub; Ko, Sang-Ki; Salomaa, Kai The relative edit-distance between two input-driven languages. (English) Zbl 07117541 Hofman, Piotrek (ed.) et al., Developments in language theory. 23rd international conference, DLT 2019, Warsaw, Poland, August 5–9, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-24885-7/pbk; 978-3-030-24886-4/ebook). Lecture Notes in Computer Science 11647, 127-139 (2019). MSC: 68Q45 PDF BibTeX XML Cite \textit{H. Cheon} et al., Lect. Notes Comput. Sci. 11647, 127--139 (2019; Zbl 07117541) Full Text: DOI
Gregory, Lorna; L’Innocente, Sonia; Toffalori, Carlo Decidability of the theory of modules over Prüfer domains with dense value groups. (English) Zbl 07114355 Ann. Pure Appl. Logic 170, No. 12, Article ID 102719, 23 p. (2019). MSC: 03C60 03C98 03B25 13F05 PDF BibTeX XML Cite \textit{L. Gregory} et al., Ann. Pure Appl. Logic 170, No. 12, Article ID 102719, 23 p. (2019; Zbl 07114355) Full Text: DOI arXiv
Gelle, Kitti; Iván, Szabolcs The ordinal generated by an ordinal grammar is computable. (English) Zbl 1430.68135 Theor. Comput. Sci. 793, 1-13 (2019). MSC: 68Q42 03B25 03E10 PDF BibTeX XML Cite \textit{K. Gelle} and \textit{S. Iván}, Theor. Comput. Sci. 793, 1--13 (2019; Zbl 1430.68135) Full Text: DOI