×

Found 951 Documents (Results 1–100)

100
MathJax

An invitation to topological semi-abelian algebras. (English) Zbl 1480.18008

Clementino, Maria Manuel (ed.) et al., New perspectives in algebra, topology and categories. Summer school, Louvain-la-Neuve, Belgium, September 12–15, 2018 and September 11–14, 2019. Cham: Springer. Coimbra Math. Texts 1, 27-66 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Two algebraic byways from differential equations: Gröbner bases and quivers. (English) Zbl 1444.14002

Algorithms and Computation in Mathematics 28. Cham: Springer (ISBN 978-3-030-26453-6/hbk; 978-3-030-26454-3/ebook). xi, 371 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI

Theories, sites, toposes. Relating and studying mathematical theories through topos-theoretic ‘bridges’. (English) Zbl 1461.03002

Oxford: Oxford University Press (ISBN 978-0-19-875891-4/hbk). xii, 368 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI

Categorical liveness checking by corecursive algebras. (English) Zbl 1458.68133

Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 91, 12 p. (2017).
MSC:  68Q85 18B20 18C10
PDF BibTeX XML Cite
Full Text: arXiv Link

From groups to categorial algebra. Introduction to protomodular and Mal’tsev categories. (English) Zbl 1403.18001

Compact Textbooks in Mathematics. Basel: Birkhäuser/Springer (ISBN 978-3-319-57218-5/pbk; 978-3-319-57219-2/ebook). xii, 106 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI

Variant-based satisfiability in initial algebras. (English) Zbl 1396.68074

Artho, Cyrille (ed.) et al., Formal techniques for safety-critical systems. Fourth international workshop, FTSCS 2015, Paris, France, November 6–7, 2015. Revised selected papers. Cham: Springer (ISBN 978-3-319-29509-1/pbk; 978-3-319-29510-7/ebook). Communications in Computer and Information Science 596, 3-34 (2016).
MSC:  68Q65 18C10 68Q42 68T15
PDF BibTeX XML Cite
Full Text: DOI

Healthiness from duality. (English) Zbl 1401.68042

Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 682-691 (2016).
PDF BibTeX XML Cite
Full Text: DOI arXiv Link

Binding operators for nominal sets. (English) Zbl 1395.68088

Birkedal, Lars (ed.), Proceedings of the 32nd conference on the mathematical foundations of programming semantics (MFPS XXXII), Carnegie Mellon University, Pittsburgh, PA, USA, May 23–26, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 325, 3-27 (2016).
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

Biographic Reference

all top 3

Software