×

Found 3,197 Documents (Results 1–100)

Congruences on lattices and lattice-valued functions. (English) Zbl 1509.06003

Cornejo, María Eugenia (ed.) et al., Computational intelligence and mathematics for tackling complex problems 2. Selected papers based on the presentations at the 11th European symposium on computational intelligence and mathematics, Toledo, Spain, October 2–5, 2019. Cham: Springer. Stud. Comput. Intell. 955, 219-228 (2022).
MSC:  06B23 03E72 06B10
PDF BibTeX XML Cite
Full Text: DOI

Packing problems, dimensions and the tensor product of complete lattices. (English) Zbl 1495.68219

Braun, Tanya (ed.) et al., Graph-based representation and reasoning. 26th international conference on conceptual structures, ICCS 2021, virtual event, September 20–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12879, 142-151 (2021).
MSC:  68T30 05C69 06B23
PDF BibTeX XML Cite
Full Text: DOI

Latticed \(k\)-induction with an application to probabilistic programs. (English) Zbl 1493.68204

Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12760, 524-549 (2021).
MSC:  68Q60 06B23 68N30
PDF BibTeX XML Cite
Full Text: DOI arXiv

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field