×

Found 1,413 Documents (Results 1–100)

100
MathJax

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).
MSC:  20Fxx 03C60
PDF BibTeX XML Cite
Full Text: DOI

The undecidability of the domino problem. (English) Zbl 1457.52017

Akiyama, Shigeki (ed.) et al., Substitution and tiling dynamics: introduction to self-inducing structures. Lecture notes from the research school on tiling dynamical systems, CIRM Jean-Morlet Chair, Marseille, France, Fall 2017. Cham: Springer. Lect. Notes Math. 2273, 293-357 (2020).
MSC:  52C20 37B52 52C23
PDF BibTeX XML Cite
Full Text: DOI

Computability. Models of computation and undecidability. (Berechenbarkeit. Berechnungsmodelle und Unentscheidbarkeit.) (German) Zbl 1452.68002

Essentials. Wiesbaden: Springer Spektrum (ISBN 978-3-658-31738-6/pbk; 978-3-658-31739-3/ebook). xiii, 67 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI

Substitution and tiling dynamics: introduction to self-inducing structures. Lecture notes from the research school on tiling dynamical systems, CIRM Jean-Morlet Chair, Marseille, France, Fall 2017. (English) Zbl 1454.37001

Lecture Notes in Mathematics 2273. Cham: Springer (ISBN 978-3-030-57665-3/pbk; 978-3-030-57666-0/ebook). xix, 453 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI

A new model in firefighting theory. (English) Zbl 1453.68207

Changat, Manoj (ed.) et al., Algorithms and discrete applied mathematics. 6th international conference, CALDAM 2020, Hyderabad, India, February 13–15, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12016, 371-383 (2020).
PDF BibTeX XML Cite
Full Text: DOI arXiv

From mathesis universalis to provability, computability, and constructivity. (English) Zbl 1469.03113

Centrone, Stefania (ed.) et al., Mathesis universalis, computability and proof. Based on the Humboldt-Kolleg “Proof theory as mathesis universalis”, held at the German-Italian Centre for European Excellence, Villa Vigoni, Loveno di Menaggio, Como, Italy, July 24–28, 2017. Cham: Springer. Synth. Libr. 412, 203-234 (2019).
PDF BibTeX XML Cite
Full Text: DOI

More intensional versions of Rice’s theorem. (English) Zbl 1434.03110

Manea, Florin (ed.) et al., Computing with foresight and industry. 15th conference on computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11558, 217-229 (2019).
PDF BibTeX XML Cite
Full Text: DOI

L-models and R-models for Lambek calculus enriched with additives and the multiplicative unit. (English) Zbl 07176937

Iemhoff, Rosalie (ed.) et al., Logic, language, information, and computation. 26th international workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2–5, 2019. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 11541, 373-391 (2019).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI

On the right path: a modal logic for supervised learning. (English) Zbl 07160597

Blackburn, Patrick (ed.) et al., Logic, rationality, and interaction. 7th international workshop, LORI 2019, Chongqing, China, October 18–21, 2019. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 11813, 1-14 (2019).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI arXiv

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
Full Text: DOI

On decidability of regular languages theories. (English) Zbl 07121061

van Bevern, René (ed.) et al., Computer science – theory and applications. 14th international computer science symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11532, 119-130 (2019).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI

About the domino problem for subshifts on groups. (English) Zbl 1405.20023

Berthé, Valérie (ed.) et al., Sequences, groups, and number theory. Cham: Birkhäuser (ISBN 978-3-319-69151-0/hbk; 978-3-319-69152-7/ebook). Trends in Mathematics, 331-389 (2018).
PDF BibTeX XML Cite
Full Text: DOI

Undecidability of equality for codata types. (English) Zbl 06962931

Cîrstea, Corina (ed.), Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11202, 34-55 (2018).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: DOI Link

Verification of PCP-related computational reductions in Coq. (English) Zbl 06946984

Avigad, Jeremy (ed.) et al., Interactive theorem proving. 9th international conference, ITP 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 9–12, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10895, 253-269 (2018).
MSC:  68T15
PDF BibTeX XML Cite
Full Text: DOI arXiv

Filter Results by …

Document Type

Database

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software