Category Theory and Computer Science: 6th International Conference, CTCS '95 Cambridge, United Kingdom, August 7–11, 1995 Proceedings von Pitt, David, Rydeheard, David E, Johnstone, Peter

Volltext

Category Theory and Computer Science: Edinburgh, U.K., September 7–9, 1987 Proceedings von Pitt, David H, Poigné, Axel, Rydeheard, David E

Volltext

Category Theory and Computer Science: Paris, France, September 3–6, 1991 Proceedings von Pitt, David H, Curien, Pierre-Louis, Abramsky, Samson, Pitts, Andrew M, Poigné, Axel, Rydeheard, David E

Volltext

Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors von Barringer, Howard, Falcone, Yliès, Havelund, Klaus, Reger, Giles, Rydeheard, David

Volltext

Category Theory and Computer Science: Manchester, UK, September 5–8, 1989 Proceedings von Pitt, David H, Rydeheard, David E, Dybjer, Peter, Pitts, Andrew M, Poigné, Axel

Volltext

Categorical ML. Category-theoretic modular programming von DENNIS-JONES, E, RYDEHEARD, D. E

Volltext

ESAT: A Tool for Animating Logic-Based Specifications of Evolvable Component Systems von Afifi, Djihed, Rydeheard, David E., Barringer, Howard

Volltext

A Collection of Papers and Memoirs Celebrating the Contribution of Rod Burstall to Advances in Computer Science von RYDEHEARD, DAVID E., SANNELLA, DONALD T.

Volltext

A theory of classes: proofs and models von HILKEN, BARNABY P., RYDEHEARD, DAVID E.

Volltext

Towards a categorical semantics of type classes von Hilken, Barney P., Rydeheard, David E.

Volltext

Adjunctions von Rydeheard, David E.

Volltext

Functors and natural transformations von Rydeheard, David E.

Volltext

Rule Systems for Run-time Monitoring: from Eagle to RuleR von Barringer, Howard, Rydeheard, David, Havelund, Klaus

Volltext

From parametric trace slicing to rule systems von Reger, Giles, Rydeheard, David

Volltext

From First-order Temporal Logic to Parametric Trace Slicing von Reger, Giles, Rydeheard, David

Volltext

From Parametric Trace Slicing to Rule Systems von Reger, Giles, Rydeheard, David

Volltext

Reactivity and Grammars: An Exploration von Barringer, Howard, Rydeheard, David, Gabbay, Dov

Volltext

The Semantic Processing of Continuous Quantities for Discrete Terms in Ontologies von Wang, Shenghui, Rydeheard, David, Pan, Jeff Z.

Volltext

Rule Systems for Run-Time Monitoring:From Eagle to RuleR von Barringer, Howard, Rydeheard, David, Havelund, Klaus

Volltext

Tableau Development for a Bi-intuitionistic Tense Logic von Stell, John G., Schmidt, Renate A., Rydeheard, David

Volltext