×

Found 1,680 Documents (Results 1–100)

A multi-modal logic for Galois connections. (English) Zbl 07668096

Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 155-176 (2022).
MSC:  03B45 03B44 06A15
PDF BibTeX XML Cite

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

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

Some relationships between the notions of \(f\)-inclusion and \(f\)-contradiction. (English) Zbl 07608667

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, 175-181 (2022).
MSC:  03E72 06A15
PDF BibTeX XML Cite
Full Text: DOI

Elements of digital geometry, mathematical morphology, and discrete optimization. (English) Zbl 1495.52001

Singapore: World Scientific (ISBN 978-981-12-4829-0/hbk; 978-981-12-4831-3/ebook). xxiii, 461 p. (2022).
PDF BibTeX XML Cite
Full Text: DOI

Bernstein-Sato polynomials in commutative algebra. (English) Zbl 1498.14042

Peeva, Irena (ed.), Commutative algebra. Expository papers dedicated to David Eisenbud on the occasion of his 75th birthday. Cham: Springer. 1-76 (2021).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Attribute reduction using functional dependency relations in rough set theory. (English) Zbl 1495.68231

Ramanna, Sheela (ed.) et al., Rough sets. International joint conference, IJCRS 2021, Bratislava, Slovakia, September 19–24, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12872, 90-96 (2021).
MSC:  68T37 68P15
PDF BibTeX XML Cite
Full Text: DOI

Primitive recursive ordered fields and some applications. (English) Zbl 07497964

Boulier, François (ed.) et al., Computer algebra in scientific computing. 23rd international workshop, CASC 2021, Sochi, Russia, September 13–17, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12865, 353-369 (2021).
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI arXiv

Galois connections for patterns: an algebra of labelled graphs. (English) Zbl 1467.68176

Cochez, Michael (ed.) et al., Graph structures for knowledge representation and reasoning. 6th international workshop, GKR 2020, virtual event, September 5, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12640, 125-150 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Representative set of objects in rough sets based on Galois connections. (English) Zbl 07614615

Bello, Rafael (ed.) et al., Rough sets. International joint conference, IJCRS 2020, Havana, Cuba, June 29 – July 3, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12179, 349-361 (2020).
MSC:  68T37 06A15
PDF BibTeX XML Cite
Full Text: DOI

Attribute reduction from closure operators and matroids in rough set theory. (English) Zbl 07614602

Bello, Rafael (ed.) et al., Rough sets. International joint conference, IJCRS 2020, Havana, Cuba, June 29 – July 3, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12179, 183-192 (2020).
MSC:  68T37 05B35 06A15
PDF BibTeX XML Cite
Full Text: DOI

Galois pairs with the modal operators of paraconsistent logic \(J_3\). (English) Zbl 1496.03108

de Barros, J. Acacio (ed.) et al., A true polymath. A tribute to Francisco Antonio Doria. Based on the meeting, Rio de Janeiro, Brazil, December 2018. [s.l.]: College Publications. Acad. Bras. Filos. 2, 143-167 (2020).
PDF BibTeX XML Cite

On a \(q\)-local deformation of the non-abelian Hodge theory into a positive characteristic. (Sur une \(q\)-déformation locale de la théorie de Hodge non-abélienne en caractéristique positive.) (French) Zbl 1440.14112

Bhatt, Bhargav (ed.) et al., \(p\)-adic Hodge theory. Proceedings of the Simons symposium, Schloss Elmau, Germany, May 7–13, 2017. Cham: Springer. Simons Symp., 143-160 (2020).
MSC:  14F30 14G20 13A35
PDF BibTeX XML Cite
Full Text: DOI arXiv

Galois connections for recursive types. (English) Zbl 1440.68042

Di Pierro, Alessandra (ed.) et al., From lambda calculus to cybersecurity through program analysis. Essays dedicated to Chris Hankin on the occasion of his retirement. Cham: Springer. Lect. Notes Comput. Sci. 12065, 105-131 (2020).
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

Main Field

Biographic Reference