The following pages link to David E. Rydeheard (Q684394):
Displayed 20 items.
- (Q299185) (redirect page) (← links)
- A bi-intuitionistic modal logic: foundations and automation (Q299186) (← links)
- Categorical ML -- category-theoretic modular programming (Q684395) (← links)
- (Q3007246) (← links)
- Rule Systems for Run-time Monitoring: from EAGLE to RULER (Q3569196) (← links)
- Modelling evolvable component systems: Part I: A logical framework (Q3653145) (← links)
- (Q3698294) (← links)
- (Q3760705) (← links)
- (Q3760706) (← links)
- (Q3815296) (← links)
- (Q4018064) (← links)
- (Q4035240) (← links)
- (Q4040030) (← links)
- A theory of classes: proofs and models (Q4340496) (← links)
- (Q4636309) (← links)
- Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors (Q4647831) (← links)
- (Q4725714) (← links)
- (Q4725721) (← links)
- Tableau Development for a Bi-intuitionistic Tense Logic (Q5410499) (← links)
- Reactivity and Grammars: An Exploration (Q5498743) (← links)