×

Found 1,560 Documents (Results 1–100)

100
MathJax

Enumerating maximal consistent closed sets in closure systems. (English) Zbl 07493552

Braud, Agnès (ed.) et al., Formal concept analysis. 16th international conference, ICFCA 2021, Strasbourg, France, June 29 – July 2, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12733, 57-73 (2021).
MSC:  68T30
PDF BibTeX XML Cite
Full Text: DOI arXiv

Distribution of zeros of exponential-type entire functions with constraints on growth along a line. (English. Russian original) Zbl 1451.30058

Math. Notes 108, No. 4, 579-589 (2020); translation from Mat. Zametki 108, No. 4, 588-600 (2020).
MSC:  30D15 30C15 30B60
PDF BibTeX XML Cite
Full Text: DOI

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

On matrix ins-del systems of small sum-norm. (English) Zbl 1444.68094

Catania, Barbara (ed.) et al., SOFSEM 2019: theory and practice of computer science. 45th international conference on current trends in theory and practice of computer science, Nový Smokovec, Slovakia, January 27–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11376, 192-205 (2019).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI

An improved proof of the closure under homomorphic inverse of FCFL valued in lattice-ordered monoids. (English) Zbl 1452.68110

Sun, Xiaoming (ed.) et al., Theoretical computer science. 37th national conference, NCTCS 2019, Lanzhou, China, August 2–4, 2019. Revised selected papers. Singapore: Springer. Commun. Comput. Inf. Sci. 1069, 64-75 (2019).
MSC:  68Q45 68Q42
PDF BibTeX XML Cite
Full Text: DOI

Rule-based unification in combined theories and the finite variant property. (English) Zbl 1425.68161

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, 356-367 (2019).
MSC:  68Q42 03B70
PDF BibTeX XML Cite
Full Text: DOI Link

Filter Results by …

Document Type

Database

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

Biographic Reference

all top 3

Software