David E. Rydeheard

Available identifiers

zbMath Open rydeheard.david-eMaRDI QIDQ684394

List of research outcomes

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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: David E. Rydeheard