×

Found 7,359 Documents (Results 1–100)

100
MathJax

Finite model property and varieties of BL-algebras. (English) Zbl 07409979

Harmati, István Á. (ed.) et al., Computational intelligence and mathematics for tackling complex problems 3. Selected papers based on the presentations at the ESCIM-2020, virtual, 2020 and 2021. Cham: Springer. Stud. Comput. Intell. 959, 23-30 (2022).
MSC:  06D35
PDF BibTeX XML Cite
Full Text: DOI

A modular first formalisation of combinatorial design theory. (English) Zbl 07511922

Kamareddine, Fairouz (ed.) et al., Intelligent computer mathematics. 14th international conference, CICM 2021, Timisoara, Romania, July 26–31, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12833, 3-18 (2021).
MSC:  68V20 05Bxx 06D22
PDF BibTeX XML Cite
Full Text: DOI

Notes on point-free topology. (English) Zbl 07482855

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, 173-223 (2021).
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