×

Found 379 Documents (Results 1–100)

100
MathJax

A quantified coalgebraic van Benthem theorem. (English) Zbl 07410443

Kiefer, Stefan (ed.) et al., Foundations of software science and computation structures. 24th international conference, FOSSACS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12650, 551-571 (2021).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Semigroups in complete lattices. Quantales, modules and related topics. (English) Zbl 1491.06001

Developments in Mathematics 54. Cham: Springer (ISBN 978-3-319-78947-7/hbk; 978-3-319-78948-4/ebook). xxi, 326 p. (2018).
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

all top 3

Software