Searching for authors named "Daniele Turi" – sorted by Relevance.
18 documents found, showing 1 through 10.
Next 10 →
-
Bibliography
- …Machine. Theoretical Computer Science, 96:217--248, 1992. 218 Bibliography [BE87] J. Barwise and J. Etchemendy. The Liar: An Essay in Truth and Circularity. Oxford University Press, 1987. [Bec69] Jon Beck. Distributive laws. In B. Eckmann, editor, Seminar on Triples and Categorical Homology Theory…
- Add To MetaCart
-
Categorical Modelling of Structural Operational Rules - Case Studies
- …Categorical Modelling of Structural Operational Rules Case Studies Daniele Turi !dt…
- Cited by 6 (4 self) – Add To MetaCart
-
Abstract Syntax and Variable Binding (Extended Abstract)
- … Gordon PlotkinLFCS Univ. of Edinburgh Daniele Turi \Lambda LFCSUniv. of Edinburgh Abstract We…
- Add To MetaCart
-
A Coalgebraic Foundation for Linear Time Semantics
- …A Coalgebraic Foundation for Linear Time Semantics John Power 1 and Daniele Turi 2 LFCS…
- Cited by 8 (1 self) – Add To MetaCart
-
Semantics of Name and Value Passing
- … Daniele Turi + LFCS, Division of Informatics University of Edinburgh Abstract We provide a semantic…
- Cited by 29 (3 self) – Add To MetaCart
-
Towards a Mathematical Operational Semantics
- …Towards a Mathematical Operational Semantics Daniele Turi !dt@(email omitted);? Gordon Plotkin y…
- Cited by 98 (9 self) – Add To MetaCart
-
Instance store - database support for reasoning over individuals. Available from http://instancestore.man.ac.uk/instancestore.pdf
- … Turi Information Management Group, Department of Computer Science, University of Manchester, UK…
- Cited by 4 (2 self) – Add To MetaCart
-
Implementing the instance store
- …Implementing the Instance Store Sean Bechhofer, Ian Horrocks, Daniele Turi ∗ Information…
- Cited by 3 (1 self) – Add To MetaCart
-
Abstract syntax and variable binding (extended abstract
- … !marcelo@(email omitted);? Gordon Plotkin LFCS Univ. of Edinburgh !gdp@(email omitted);? Daniele Turi LFCS…
- Cited by 13 (0 self) – Add To MetaCart
-
The instance store: Description logic reasoning with large numbers of individuals
- …, Lei Li, Daniele Turi, and Sean Bechhofer Information Management Group Department of Computer Science…
- Cited by 7 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
