Browse by Journal

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

Jump to: B | H | M

Number of items: 4.

B

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)

H

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)

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)

M

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)

This list was generated on Tue Dec 24 23:35:58 2024 GMT.