Search results
From MaRDI portal
- 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
- branching-time temporal logics; alternating-time temporal logic; graded \(\mu\)-calculus; Kozen/Park axioms Mathematics Subject Classification ID 68Q25:...15 bytes (91 words) - 16:02, 2 May 2024
- local interaction 2015-01-20 Paper Study of \( {\bar{B}^0} \to {D^0}{\mu^{+} }{\mu^{-} } \) decay in perturbative QCD approach 2015-01-20 Paper Introduction...10 bytes (16 words) - 11:13, 6 October 2023
- anisotropic functionally graded beams 2007-09-21 Paper Mode-3 spontaneous crack propagation in unsymmetric functionally graded materials 2007-09-21 Paper...10 bytes (15 words) - 02:18, 25 September 2023
- 1986-01-01 Paper On equality of spaces \(LH^{\beta}_{a,\mu,\alpha}\) and \(LH_{a,\mu,\alpha}\cap LH^{\beta}_{a,\mu}\) 1986-01-01 Paper Geometric permutations and...10 bytes (15 words) - 00:50, 23 September 2023
- 2018-11-08 Paper Fekete-Szegö problem for a class of \(\lambda \)-convex and \(\mu \)-starlike functions associated with \(k\)-th root transformation using quasi-subordination...10 bytes (15 words) - 16:16, 24 September 2023
- of second-grade fluids with general Navier type slip boundary conditions in Hölder spaces 2008-08-18 Paper Patchworking singularities \(A_{\mu}\) and \(D_{\mu}\)...10 bytes (16 words) - 16:28, 6 October 2023
- zbMATH Keywords \(\mu\)-calculus; parity games; model checking; coalgebraic logic; probabilistic \(\mu\)-calculus; graded \(\mu\)-calculus Mathematics Subject...15 bytes (51 words) - 06:55, 7 March 2024
- trigonometry, logarithms, coordinate geometry, calculus; with answers to problems. 1931-01-01 Paper The new graded arithmetics. Books I-V. 1924-1931. 1931-01-01...10 bytes (15 words) - 13:55, 6 October 2023
- crack problems in functionally graded materials. 2004-02-12 Paper Nonlinear bending and post-buckling of a functionally graded circular plate under mechanical...10 bytes (15 words) - 12:30, 24 September 2023
- series for \(\exp(x)\) 2011-03-31 Paper Model checking in the modal \(\mu \)-calculus and generic solutions 2011-03-31 Paper Testing the nullspace property...10 bytes (16 words) - 08:10, 7 October 2023
- integral calculus. 1926-01-01 Paper A remark on the first mean value theorem. 1926-01-01 Paper On the fundamental theorem of the integral calculus for Lebesgue...10 bytes (15 words) - 11:36, 24 September 2023
- 2019-03-28 Paper Three-dimensional free vibrations analysis of functionally graded rectangular plates by the meshless local Petrov-Galerkin (MLPG) method 2019-03-28...10 bytes (15 words) - 21:06, 24 September 2023
- de/entity/Q5140150 2020-12-14 Paper A comparison study of bank data in fractional calculus 2020-12-03 Paper Modeling the transmission of dengue infection through...10 bytes (14 words) - 14:38, 6 December 2023
- Metacircularity in the polymorphic \(\lambda\)-calculus 1992-06-26 Paper Local model checking in the modal mu-calculus 1992-06-26 Paper Asymptotic finite solutions...10 bytes (15 words) - 10:20, 24 September 2023
- Journal in Brave) zbMATH Keywords model checking; open systems; graded modalities; mu-calculus; CTL; automata-theoretic approach Mathematics Subject Classification...15 bytes (64 words) - 01:44, 5 February 2024
- 1.1.143.8955 zbMATH Keywords satisfiability; specification; graded modalities; mu-calculus; Branching temporal logics Mathematics Subject Classification...15 bytes (74 words) - 21:16, 3 February 2024
- Safronov-Dubovski coagulation equation 2014-09-25 Paper Orthogonal graded completion of graded semiprime rings. 2014-09-25 Paper Penalized differential pathway...10 bytes (15 words) - 10:09, 6 October 2023
- dynamic method for large minimization problems 1989-01-01 Paper The \(\mu\)-calculus as an assertion-language for fairness arguments 1989-01-01 Paper Algorithms...10 bytes (16 words) - 10:02, 24 September 2023
