The following pages link to Altaf Hussain (Q947780):
Displaying 6 items.
- On model checking multiple hybrid views (Q947781) (← links)
- (Q2852361) (← links)
- The modal logic of affine planes is not finitely axiomatisable (Q3617371) (← links)
- A New Modal Approach to the Logic of Intervals (Q5432670) (← links)
- A Minimal Hybrid Logic for Intervals (Q5479023) (← links)
- Numerical analysis and experimental validation of nonlinear broadband monostable and bistable energy harvesters (Q6121811) (← links)
