Search results
From MaRDI portal
- On modal \(\mu\)-calculus with explicit interpolants 2006-10-10 Paper An axiomatization of bisimulation quantifiers via the \(\mu\)-calculus 2005-06-30...10 bytes (17 words) - 03:56, 25 September 2023
- alternation-free \(\mu \)-calculus 2022-05-25 Paper The Power of the Weak 2020-09-11 Paper Closure ordinals of the two-way modal \(\mu\)-calculus 2020-03-04 Paper...10 bytes (17 words) - 16:20, 8 December 2023
- CTL Model-Checking with Graded Quantifiers 2008-11-20 Paper Enriched MU-Calculi Module Checking 2008-11-13 Paper Enriched μ–Calculus Pushdown Module Checking...10 bytes (17 words) - 16:58, 21 September 2023
- 2016-05-11 Paper On CTL* with Graded Path Modalities 2016-01-12 Paper https://portal.mardi4nfdi.de/entity/Q3456021 2015-12-11 Paper Graded computation tree logic...10 bytes (17 words) - 12:14, 7 October 2023
- 2019-02-13 Paper On the Acceptable Elements 2019-02-06 Paper Soergel Calculus and Schubert Calculus 2018-11-21 Paper COCENTERS OF -ADIC GROUPS, I: NEWTON DECOMPOSITION...10 bytes (17 words) - 21:38, 9 December 2023
- 2016-12-02 Paper Lpbounds inS(m,g)-calculus 2016-04-22 Paper On a class of hyperbolic equations in Weyl-Hörmander calculus 2016-01-28 Paper A class of invertible...10 bytes (17 words) - 13:54, 6 October 2023
- formula and a few versions of the number \(\pi\) in \(q\)-calculus 2024-03-22 Paper On \((\lambda,\mu,\gamma)\)-derivations of BiHom-Lie algebras 2024-03-22...10 bytes (19 words) - 09:58, 9 December 2023
- observer-based robust control 2022-04-26 Paper Atomic decomposition for <italic>μ</italic>-Bloch space in C<sup><italic>n</italic></sup>...10 bytes (18 words) - 21:42, 9 December 2023
- de/entity/Q5390017 2012-04-24 Paper EXPTIME Tableaux for the Coalgebraic mu-Calculus 2012-04-02 Paper https://portal.mardi4nfdi.de/entity/Q3113787 2012-01-23...10 bytes (16 words) - 19:52, 6 October 2023
- 2022-04-20 Paper Noise detection and image denoising based on fractional calculus 2022-04-08 Paper The exact number of orthogonal exponentials on the spatial...10 bytes (17 words) - 03:46, 10 December 2023
- modal -calculus 2019-01-08 Paper Multi-buffer simulations: decidability and complexity 2018-09-27 Paper Deciding the unguarded modal -calculus 2018-08-28...10 bytes (16 words) - 03:46, 25 September 2023
- of large-scale shear 2024-01-19 Paper Explicit topology optimization for graded lattice flexoelectric nanostructures via ersatz material model 2023-11-30...10 bytes (17 words) - 02:32, 25 September 2023
- viscoelastic functionally graded plates 2013-12-19 Paper Nonlinear free vibration and post-buckling analysis of functionally graded beams on nonlinear elastic...10 bytes (15 words) - 00:48, 25 September 2023
- moderately thick functionally graded anisotropic wide beams 2014-08-19 Paper Size-dependent vibration of functionally graded curved microbeams based on the...10 bytes (16 words) - 12:14, 7 October 2023
- Laplace-Beltrami equation on surfaces with regions of high curvature using graded meshes 2018-12-20 Paper Reverse dynamic inequalities and higher integrability...10 bytes (15 words) - 17:16, 24 September 2023
- magnetostrictive functionally graded material plates 2018-09-03 Paper A parametric study on the buckling of functionally graded material plates with internal...10 bytes (15 words) - 14:22, 28 January 2024
- Riemann-Liouville fractional Hopfield's graded response neural networks with random impulses 2022-08-25 Paper Fractional calculus in the sky 2022-08-25 Paper On...10 bytes (19 words) - 10:51, 8 December 2023
- Three-dimensional static and dynamic analysis of functionally graded elliptical plates, employing graded finite elements 2013-08-12 Paper Magnetic charged system...10 bytes (15 words) - 00:59, 25 September 2023
- fractional \(q\)-calculus theory 2020-09-15 Paper On new modifications governed by quantum Hahn's integral operator pertaining to fractional calculus 2020-09-15...10 bytes (18 words) - 17:21, 9 December 2023
- moderately thick functionally graded anisotropic wide beams 2014-08-19 Paper Size-dependent vibration of functionally graded curved microbeams based on the...10 bytes (15 words) - 12:42, 7 October 2023
