Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Category Theory and Computer Science: 6th International Conference, CTCS '95 Cambridge, United Kingdom, August 7–11, 1995 ProceedingsPitt, David ; Rydeheard, David E ; Johnstone, Peter Rydeheard, David E. ; Johnstone, Peter ; Pitt, DavidBerlin, Heidelberg: Springer Berlin Heidelberg 1995Texto completo disponível |
|
2 |
Material Type: Livro
|
Category Theory and Computer Science: Edinburgh, U.K., September 7–9, 1987 ProceedingsPitt, David H ; Poigné, Axel ; Rydeheard, David E Poigné, Axel ; Rydeheard, David E. ; Pitt, David H.Berlin, Heidelberg: Springer Berlin Heidelberg 1987Texto completo disponível |
|
3 |
Material Type: Artigo
|
Rule Systems for Run-time Monitoring: from Eagle to RuleRBarringer, Howard ; Rydeheard, David ; Havelund, KlausJournal of logic and computation, 2010-06, Vol.20 (3), p.675-706 [Periódico revisado por pares]Oxford University PressTexto completo disponível |
|
4 |
Material Type: Artigo
|
The Semantic Processing of Continuous Quantities for Discrete Terms in OntologiesWang, Shenghui ; Rydeheard, David ; Pan, Jeff Z.Journal of logic and computation, 2008-06, Vol.18 (3), p.341-359 [Periódico revisado por pares]Oxford: Oxford University PressTexto completo disponível |
|
5 |
Material Type: Livro
|
Category Theory and Computer Science: Manchester, UK, September 5–8, 1989 ProceedingsPitt, David H ; Rydeheard, David E ; Dybjer, Peter ; Pitts, Andrew M ; Poigné, Axel Rydeheard, David E. ; Dybjer, Peter ; Pitt, David H. ; Poigné, Axel ; Pitts, Andrew M. ; Dybjer, Peter ; Pitt, D. H. ; Rydeheard, D.E. ; Poign, A. ; Pitts, A. M.Berlin, Heidelberg: Springer Berlin Heidelberg 1989Texto completo disponível |
|
6 |
Material Type: Capítulo de Livro
|
Computing with categoriesBurstall, R. ; Rydeheard, D.CTCS, 1986, p.506-517 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
7 |
Material Type: Capítulo de Livro
|
Foundations of equational deduction: A categorical treatment of equational proofs and unification algorithmsRydeheard, D. E. ; Stell, J. G.Category Theory and Computer Science, 1987, p.114-139 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
8 |
Material Type: Capítulo de Livro
|
A categorical unification algorithmRydeheard, D. E. ; Burstall, R. M.Category Theory and Computer Programming, 1986, p.493-505 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
9 |
Material Type: Ata de Congresso
|
A Logical Framework for Monitoring and Evolving Software ComponentsBarringer, H. ; Rydeheard, D. ; Gabbay, D.First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07), 2007, p.273-282IEEETexto completo disponível |
|
10 |
Material Type: Artigo
|
Categorical ML. Category-theoretic modular programmingDENNIS-JONES, E ; RYDEHEARD, D. EFormal aspects of computing, 1993-07, Vol.5 (4), p.337-366 [Periódico revisado por pares]London: SpringerTexto completo disponível |