David Rydeheard

From MaRDI portal
Person:684394

Available identifiers

zbMath Open rydeheard.david-eMaRDI QIDQ684394

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q46363092018-04-23Paper
A bi-intuitionistic modal logic: foundations and automation2016-06-22Paper
Reactivity and Grammars: An Exploration2015-02-10Paper
Tableau Development for a Bi-intuitionistic Tense Logic2014-04-16Paper
Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors2012-11-08Paper
https://portal.mardi4nfdi.de/entity/Q30072462011-06-21Paper
Rule Systems for Run-time Monitoring: from EAGLE to RULER2010-06-17Paper
Modelling evolvable component systems: Part I: A logical framework2009-12-18Paper
A theory of classes: proofs and models1998-03-12Paper
Categorical ML -- category-theoretic modular programming1993-09-15Paper
https://portal.mardi4nfdi.de/entity/Q40400301993-06-05Paper
https://portal.mardi4nfdi.de/entity/Q40352401993-05-18Paper
https://portal.mardi4nfdi.de/entity/Q40180641993-01-16Paper
https://portal.mardi4nfdi.de/entity/Q38152961987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47257211986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37607051986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37607061986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47257141986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36982941985-01-01Paper

Research outcomes over time

This page was built for person: David Rydeheard

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:684394&oldid=10663537"
Powered by MediaWiki