David E. Rydeheard

Available identifiers

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4636309	2018-04-23	Paper
A bi-intuitionistic modal logic: foundations and automation	2016-06-22	Paper
Reactivity and Grammars: An Exploration	2015-02-10	Paper
Tableau Development for a Bi-intuitionistic Tense Logic	2014-04-16	Paper
Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors	2012-11-08	Paper
https://portal.mardi4nfdi.de/entity/Q3007246	2011-06-21	Paper
Rule Systems for Run-time Monitoring: from EAGLE to RULER	2010-06-17	Paper
Modelling evolvable component systems: Part I: A logical framework	2009-12-18	Paper
A theory of classes: proofs and models	1998-03-12	Paper
Categorical ML -- category-theoretic modular programming	1993-09-15	Paper
https://portal.mardi4nfdi.de/entity/Q4040030	1993-06-05	Paper
https://portal.mardi4nfdi.de/entity/Q4035240	1993-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4018064	1993-01-16	Paper
https://portal.mardi4nfdi.de/entity/Q3815296	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3760705	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3760706	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4725714	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4725721	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3698294	1985-01-01	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: David E. Rydeheard