Zobrazeno 1 - 10 of 66 pro vyhledávání: '"Tennent, R.D."'
2
Akademický článek
Monoidal indeterminates and categories of possible worlds
Autor: Hermida, C., Tennent, R.D.
Publikováno v: In Theoretical Computer Science 27 April 2012 430:3-22
Zobrazit plný text záznamu
3
Akademický článek
Monoidal Indeterminates and Categories of Possible Worlds
Autor: Hermida, C., Tennent, R.D.
Publikováno v: In Electronic Notes in Theoretical Computer Science 8 August 2009 249:39-60
Zobrazit plný text záznamu
4
Akademický článek
A fibrational framework for possible-world semantics of Algol-like languages
Autor: Hermida, C., Tennent, R.D.
Publikováno v: In Theoretical Computer Science 2007 375(1):3-19
Zobrazit plný text záznamu
5
Periodical
The Denotational Semantics of Programming Languages.
Autor: Tennent, R.D., Wegbreit, B.
Publikováno v: Communications of the ACM. Aug1976, Vol. 19 Issue 8, p437-453. 17p. 1 Chart.
Zobrazit plný text záznamu
6
Akademický článek
Syntactic control of interference revisited
Autor: O’Hearn, P.W. *, Power, A.J., Takeyama, M., Tennent, R.D.
Publikováno v: In Theoretical Computer Science 1999 228(1):211-252
Zobrazit plný text záznamu
7
Akademický článek
Bireflectivity
Autor: Freyd, P.J., O’Hearn, P.W., Power, A.J., Takeyama, M. *, Street, R., Tennent, R.D.
Publikováno v: In Theoretical Computer Science 1999 228(1):49-76
Zobrazit plný text záznamu
8
Periodical
Syntactic control of interference revisited
Autor: O'Hearn, P.W., Power, A.J., Takeyama, M., Tennent, R.D.
Publikováno v: Theoretical Computer Science; 1999, Vol. 228 Issue: 1 p211-252, 42p
Zobrazit plný text záznamu
9
Periodical
Semantical Analysis of Specification Logic, 2
Autor: Ohearn, P.W., Tennent, R.D.
Publikováno v: Information and Computation; November 1993, Vol. 107 Issue: 1 p25-57, 33p
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje