# Search results

Demonstratio Mathematica > 2021 > Vol. 54, nr 1 > 527--547

Journal of Applied Analysis > 2021 > Vol. 27, nr 1 > 153--162

Demonstratio Mathematica > 2020 > Vol. 53, nr 1 > 95--111

Numerical Algorithms > 2019 > 82 > 1 > 263-295

Afrika Matematika > 2019 > 30 > 1-2 > 151-169

Advances in Computational Mathematics > 2019 > 45 > 1 > 327-359

Journal of Differential Equations > 2018 > 264 > 4 > 2970-3051

Fundamenta Informaticae > 2017 > Vol. 156, nr 3/4 > 361--411

^{+}) can be expressed as uniform word problems in classes of semilattices with monotone operators. We use possibilities of efficient local reasoning in such classes of algebras, to obtain uniform PTIME decision procedures for CBox subsumption in εL, εL

^{+}and extensions thereof. These locality considerations...

Journal of Nonlinear Science > 2018 > 28 > 2 > 807-831

Journal of Mathematical Analysis and Applications > 2017 > 452 > 1 > 595-610

Mathematical Programming > 2018 > 170 > 2 > 417-444

Journal of Systems Science and Complexity > 2017 > 30 > 4 > 803-817

Journal of Fixed Point Theory and Applications > 2017 > 19 > 4 > 2241-2270

Computational Optimization and Applications > 2017 > 67 > 3 > 521-541

Journal of Computational and Applied Mathematics > 2017 > 311 > C > 630-644

Annales de l'Institut Henri Poincare (C) Non Linear Analysis > 2016 > 9 > 4 > 399-432

Journal of Evolution Equations > 2017 > 17 > 2 > 781-804