Search results
From MaRDI portal
- Trees and Modal Logic on Transitive Graphs 2011-08-17 Paper Guarded Negation 2011-07-07 Paper A note on the expressibility problem for modal logics and...10 bytes (19 words) - 01:39, 10 December 2023
- congruence: from decomposition of modal formulas to preservation of branching and \(\eta \)-bisimilarity 2012-05-24 Paper Modal logic and the approximation induction...10 bytes (19 words) - 15:23, 10 December 2023
- Publication Date of Publication Type Nested Regular Expressions Can Be Compiled to Small Deterministic Nested Word Automata 2022-10-19 Paper Regular matching...10 bytes (16 words) - 12:19, 24 September 2023
- Example 1998-09-14 Paper Modal Logic and Equality for Process Algebra 1996-08-18 Paper Expressiveness for Highly Nested Expressions in Linear Temporal Logic...10 bytes (20 words) - 18:38, 23 September 2023
- Operational Semantics 2016-03-23 Paper Compositional Reasoning for Multi-modal Logics 2015-12-11 Paper When Are Prime Formulae Characteristic? 2015-09-16...10 bytes (17 words) - 02:45, 10 December 2023
- 2015-03-23 Paper Refinement modal logic 2014-11-28 Paper Visibly Linear Temporal Logic 2014-09-26 Paper Visibly rational expressions 2014-06-12 Paper Verification...10 bytes (16 words) - 07:56, 7 October 2023
- Cramér–Rao Bounds, and Hypothesis Testing 2019-02-08 Paper Calibrating Nested Sensor Arrays With Model Errors 2018-09-14 Paper Concurrent Particle Filtering...10 bytes (16 words) - 17:16, 12 December 2023
- 2009-03-12 Paper Forest Expressions 2009-03-05 Paper Tree-Walking Automata 2008-11-20 Paper Shuffle Expressions and Words with Nested Data 2008-09-17 Paper...10 bytes (17 words) - 03:32, 7 October 2023
- knowledge-state planning 2017-07-12 Paper Complexity of propositional nested circumscription and nested abnormality theories 2017-07-12 Paper Reasoning about evolving...10 bytes (17 words) - 12:36, 8 December 2023
- Operational Semantics 2016-03-23 Paper Compositional Reasoning for Multi-modal Logics 2015-12-11 Paper When Are Prime Formulae Characteristic? 2015-09-16...10 bytes (17 words) - 05:34, 7 October 2023
- coalgebraic modal logic: the limits and beyond 2008-03-05 Paper Modular Algorithms for Heterogeneous Modal Logics 2007-11-28 Paper Coalgebraic Modal Logic in...10 bytes (17 words) - 16:53, 24 September 2023
- Temporal Dynamics for Skeleton-Based Action Recognition 2019-02-04 Paper Cross-Modal Subspace Learning via Pairwise Constraints 2019-01-31 Paper https://portal...10 bytes (16 words) - 08:17, 7 October 2023
- 1305/ndjfl/1093882940 zbMATH Keywords modal logic; Chisholm's paradox; future contingency and necessity; Hintikka's paradox; nested modal expressions; paradox of the good...15 bytes (78 words) - 04:24, 31 January 2024
- nonlinear modal analysis 2003-12-09 Paper Nonlinear random response of cylindrical panels to acoustic excitations using finite element modal method 2003-12-09...10 bytes (15 words) - 12:30, 24 September 2023
- 1993-04-01 Paper Improvement of analytical dynamic models using complex modal test data 1993-04-01 Paper Discussion of The beginning -- and suppression...10 bytes (15 words) - 10:20, 24 September 2023
- Paper Minimizing channel density in standard cell layout 1987-01-01 Paper Modal operators with probabilistic interpretations. I 1987-01-01 Paper On a problem...10 bytes (15 words) - 00:50, 23 September 2023
- type dissections emboîtées. (Algorithmic study and complexity bounds for a nested dissection solver) 1989-01-01 Paper Iterative methods for the solution of...10 bytes (16 words) - 10:02, 24 September 2023
- impact device for enhancement of frequency response function in operational modal testing 2018-01-30 Paper Advanced stability criteria for linear systems with...10 bytes (16 words) - 08:10, 7 October 2023
- simulating electromagnetic wave splitter and rotator 2020-08-05 Paper An adaptive nested complex source beam method for electromagnetic scattering of composite ...10 bytes (15 words) - 10:09, 6 October 2023
- Nonuniqueness of the factorization scheme in quantum mechanics 1989-01-01 Paper Modal estimates of the control performance in multidimensional systems with a harmonic...10 bytes (16 words) - 11:05, 24 September 2023
