×

Found 1,642 Documents (Results 1–100)

100
MathJax

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

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

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

Category theory as a foundation for the concept analysis of complex systems and time series. (English) Zbl 1454.06003

Kuś, Marek (ed.) et al., Category theory in physics, mathematics, and philosophy. Proceedings of the conference “Category Theory in Physics, Mathematics and Philosophy”, Warsaw, Poland, November 16–17, 2017. Cham: Springer; Warsaw: International Center for Formal Ontology. Springer Proc. Phys. 235, 119-134 (2019).
PDF BibTeX XML Cite
Full Text: DOI

An adjoint pair for intuitionistic \(L\)-fuzzy values. (English) Zbl 1430.68334

Cornejo, María Eugenia (ed.) et al., Trends in mathematics and computational intelligence. Selected papers based on the presentations at the 9th European symposium on computational intelligence and mathematics, ESCIM 2017, Faro, Portugal, October 4–7, 2017. Cham: Springer. Stud. Comput. Intell. 796, 167-173 (2019).
PDF BibTeX XML Cite
Full Text: DOI

Equational closure and closure with respect to enumeration on a set of partial multivalued logic functions. (English. Russian original) Zbl 1452.03068

Mosc. Univ. Comput. Math. Cybern. 43, No. 3, 118-125 (2019); translation from Vestn. Mosk. Univ., Ser. XV 2019, No. 3, 36-44 (2019).
MSC:  03B50
PDF BibTeX XML Cite
Full Text: DOI

Learning unions of \(k\)-testable languages. (English) Zbl 1425.68150

Martín-Vide, Carlos (ed.) et al., Language and automata theory and applications. 13th international conference, LATA 2019, St. Petersburg, Russia, March 26–29, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11417, 328-339 (2019).
MSC:  68Q32 06A15 68Q45
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

Classification

Biographic Reference