Pages that link to "Item:Q5717444"
From MaRDI portal
The following pages link to Mechanizing Mathematical Reasoning (Q5717444):
Displayed 34 items.
- Connectivity games over dynamic networks (Q391110) (← links)
- On the almighty wand (Q418137) (← links)
- Moving in a network under random failures: a complexity analysis (Q433350) (← links)
- Refinement modal logic (Q476194) (← links)
- \(\mathsf{QCTL}\) model-checking with \(\mathsf{QBF}\) solvers (Q821566) (← links)
- Computation as social agency: what, how and who (Q1641025) (← links)
- Model checking properties on reduced trace systems (Q1736621) (← links)
- On sabotage games (Q1785757) (← links)
- Introducing reactive Kripke semantics and arc accessibility (Q1935595) (← links)
- Global view on reactivity: switch graphs and their logics (Q1935598) (← links)
- Introspection as an action in relational models (Q2011198) (← links)
- Recapturing dynamic logic of relation changers via bounded morphisms (Q2021560) (← links)
- Verification of dynamic bisimulation theorems in Coq (Q2035655) (← links)
- Introducing fuzzy reactive graphs: a simple application on biology (Q2099983) (← links)
- A history based logic for dynamic preference updates (Q2209166) (← links)
- Arrow update synthesis (Q2216107) (← links)
- Synthesizing optimally resilient controllers (Q2303880) (← links)
- The modal logic of copy and remove (Q2401633) (← links)
- A Game Theoretic Approach to the Analysis of Dynamic Networks (Q2864354) (← links)
- Reasoning About Substructures and Games (Q2957764) (← links)
- Sabotage Modal Logic: Some Model and Proof Theoretic Aspects (Q3457681) (← links)
- Expressive Power and Decidability for Memory Logics (Q3511448) (← links)
- Separation logics and modalities: a survey (Q4586138) (← links)
- Global and Local Graph Modifiers (Q4982127) (← links)
- (Q5015266) (← links)
- (Q5016796) (← links)
- THE MODAL LOGIC OF STEPWISE REMOVAL (Q5065135) (← links)
- Synthesizing Optimally Resilient Controllers (Q5079759) (← links)
- Introducing Reactive Kripke Semantics and Arc Accessibility (Q5452184) (← links)
- Copy and remove as dynamic operators (Q5861999) (← links)
- To be announced (Q6040661) (← links)
- A simple logic of the hide and seek game (Q6057624) (← links)
- Relation-changing models meet paraconsistency (Q6156935) (← links)
- Modal logics and local quantifiers: a zoo in the elementary hierarchy (Q6181934) (← links)