Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: 2019 | 2015 | 2014 | 2001

Number of items: 4.

2019

Møgelberg, Rasmus, Paviotti, Marco (2019) Denotational semantics of recursive types in synthetic guarded domain theory. Mathematical Structures in Computer Science, 29 (3). pp. 465-510. ISSN 0960-1295. (doi:10.1017/S0960129518000087) (KAR id:69685)

2015

Bocchi, Laura, Tuosto, Emilio (2015) Attribute-based transactions in service oriented computing. Mathematical Structures in Computer Science, 25 (3). pp. 619-665. ISSN 0960-1295. (doi:10.1017/S0960129512000904) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:44574)

2014

HAMADOU, SARDAOUNA, SASSONE, VLADIMIRO, Yang, M. (2014) An analysis of trust in anonymity networks in the presence of adaptive attackers. Mathematical Structures in Computer Science, 25 (2). pp. 429-456. ISSN 0960-1295. (doi:10.1017/S0960129513000650) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:89602)

2001

Howe, Jacob M. (2001) Proof Search in Lax Logic. Mathematical Structures in Computer Science, 11 (4). pp. 573-588. ISSN 0960-1295. (doi:10.1017/S0960129501003334) (KAR id:13571)

This list was generated on Wed May 1 22:46:21 2024 BST.