David Rydeheard

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Axiomatic and tableau-based reasoning for \(Kt (H, R)\)	2018-04-23	Paper
A bi-intuitionistic modal logic: foundations and automation Journal of Logical and Algebraic Methods in Programming	2016-06-22	Paper
Reactivity and grammars: an exploration Lecture Notes in Computer Science	2015-02-10	Paper
Tableau Development for a Bi-intuitionistic Tense Logic Relational and Algebraic Methods in Computer Science	2014-04-16	Paper
Quantified event automata: towards expressive and efficient runtime monitors FM 2012: Formal Methods	2012-11-08	Paper
Modelling evolvable systems: a temporal logic view	2011-06-21	Paper
Rule systems for run-time monitoring: from EAGLE to RULER Journal Of Logic And Computation	2010-06-17	Paper
Modelling evolvable component systems. I: A logical framework Logic Journal of the IGPL	2009-12-18	Paper
A theory of classes: proofs and models Mathematical Structures in Computer Science	1998-03-12	Paper
Categorical ML -- category-theoretic modular programming Formal Aspects of Computing	1993-09-15	Paper
scientific article; zbMATH DE number 193170 (Why is no real title available?)	1993-06-05	Paper
scientific article; zbMATH DE number 176139 (Why is no real title available?)	1993-05-18	Paper
scientific article; zbMATH DE number 92598 (Why is no real title available?)	1993-01-16	Paper
scientific article; zbMATH DE number 4085643 (Why is no real title available?)	1987-01-01	Paper
scientific article; zbMATH DE number 3999263 (Why is no real title available?)	1986-01-01	Paper
scientific article; zbMATH DE number 4010735 (Why is no real title available?)	1986-01-01	Paper
scientific article; zbMATH DE number 4010736 (Why is no real title available?)	1986-01-01	Paper
scientific article; zbMATH DE number 3999258 (Why is no real title available?)	1986-01-01	Paper
scientific article; zbMATH DE number 3924120 (Why is no real title available?)	1985-01-01	Paper

Research outcomes over time

This page was built for person: David Rydeheard