×

Found 42,947 Documents (Results 1–100)

100
MathJax

Model checking, synthesis, and learning. Essays dedicated to Bengt Jonsson on the occasion of his 60th birthday. (English) Zbl 07497120

Lecture Notes in Computer Science 13030. Cham: Springer (ISBN 978-3-030-91383-0/pbk; 978-3-030-91384-7/ebook). viii, 219 p. (2022).
PDF BibTeX XML Cite
Full Text: DOI

Abelian networks IV. Dynamics of nonhalting networks. (English) Zbl 07492816

Memoirs of the American Mathematical Society 1358. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-5141-7/pbk; 978-1-4704-7024-1/ebook). vii, 89 p. (2022).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Dimension groups and dynamical systems. Substitutions, Bratteli diagrams and Cantor systems. (English) Zbl 07436601

Cambridge Studies in Advanced Mathematics 196. Cambridge: Cambridge University Press (ISBN 978-1-108-83868-9/hbk; 978-1-108-97603-9/ebook). viii, 584 p. (2022).
MSC:  37-02 22-02 37Bxx
PDF BibTeX XML Cite
Full Text: DOI

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