Search Sciweavers | Sciweavers

4340 search results - page 26 / 868

» Formal Methods and Cryptography

click to vote

IMPERIAL
1993

79views Formal Methods» more IMPERIAL 1993»

Geometric Logic in Computer Science

15 years 3 months ago

Download www.cs.bham.ac.uk

Steven Vickers

claim paper

Read More »

102

click to vote

IMPERIAL
1994

132views Formal Methods» more IMPERIAL 1994»

Combinators for Interaction Nets

15 years 3 months ago

Download www.dcs.gla.ac.uk

Simon J. Gay

claim paper

Read More »

Voted

IMPERIAL
1994

111views Formal Methods» more IMPERIAL 1994»

Locales are Not Pointless

15 years 3 months ago

Download www.cs.bham.ac.uk

Steven Vickers

claim paper

Read More »

click to vote

FTRTFT
1992
Springer

69views Formal Methods» more FTRTFT 1992»

Specifying Asynchronous Transfer of Control

15 years 3 months ago

Download www.cosc.canterbury.ac.nz

Padmanabhan Krishnan, Peter D. Mosses

claim paper

Read More »

click to vote

SAS
1993
Springer

103views Formal Methods» more SAS 1993»

Minimal Thunkification

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers