×

Found 1,714 Documents (Results 1–100)

100
MathJax

KL-randomness and effective dimension under strong reducibility. (English) Zbl 07495192

De Mol, Liesbeth (ed.) et al., Connecting with computability. 17th conference on computability in Europe, CiE 2021, virtual event, Ghent, Belgium, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12813, 457-468 (2021).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI arXiv

Connecting perebor conjectures: towards a search to decision reduction for minimizing formulas. (English) Zbl 07561759

Saraf, Shubhangi (ed.), 35th computational complexity conference, CCC 2020, July 28–31, 2020, Saarbrücken, Germany, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 169, Article 31, 35 p. (2020).
MSC:  68Q25
PDF BibTeX XML Cite
Full Text: DOI

Chebyshev polynomials. From approximation theory to algebra and number theory. Corrected reprint of the 1990 2nd edition. (English) Zbl 1458.41001

Mineola, NY: Dover Publications (ISBN 978-0-486-84233-2/pbk). xiii, 254 p. (2020).
MSC:  41-01 41A50 41A05
PDF BibTeX XML Cite

The structure of computably enumerable preorder relations. (English. Russian original) Zbl 1462.03018

Algebra Logic 59, No. 3, 201-215 (2020); translation from Algebra Logika 59, No. 3, 293-314 (2020).
MSC:  03D45 03D25 03D30
PDF BibTeX XML Cite
Full Text: DOI

Well-quasi orders and hierarchy theory. (English) Zbl 07218745

Schuster, Peter M. (ed.) et al., Well-quasi orders in computation, logic, language and reasoning. A unifying concept of proof theory, automata theory, formal languages and descriptive set theory. Based on the minisymposium on well-quasi orders: from theory to applications within the Jahrestagung der Deutschen Mathematiker-Vereinigung (DMV), Hamburg, Germany, September 21–25, 2015 and the Dagstuhl seminar 16031 on well quasi-orders in computer science, Schloss Dagstuhl, Germany, January 17–22, 2016. Cham: Springer. Trends Log. Stud. Log. Libr. 53, 271-319 (2020).
MSC:  03-XX
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