Sciweavers

28 search results - page 1 / 6

» apal 2005

3

APAL
2005

79views more APAL 2005»

Abstract State Machines: a unifying view of models of computation and of system design frameworks

13 years 4 months ago

Abstract State Machines: a unifying view of models of computation and of system design frameworks

Download www.di.unipi.it

Egon Börger

claim paper

Read More »

6

APAL
2005

86views more APAL 2005»

Control structures in programs and computational complexity

13 years 4 months ago

Control structures in programs and computational complexity

Download www.tu-ilmenau.de

Karl-Heinz Niggl

claim paper

Read More »

2

APAL
2005

76views more APAL 2005»

Linear realizability and full completeness for typed lambda-calculi

13 years 4 months ago

Linear realizability and full completeness for typed lambda-calculi

Download users.dimi.uniud.it

Samson Abramsky, Marina Lenisa

claim paper

Read More »

5

APAL
2005

62views more APAL 2005»

A proof of topological completeness for S4 in (0, 1)

13 years 4 months ago

A proof of topological completeness for S4 in (0, 1)

Download theory.stanford.edu

Grigori Mints, Ting Zhang

claim paper

Read More »

2

APAL
2005

62views more APAL 2005»

Separation results for the size of constant-depth propositional proofs

13 years 4 months ago

Separation results for the size of constant-depth propositional proofs

Download math.ucsd.edu

Arnold Beckmann, Samuel R. Buss

claim paper

Read More »

« Prev « First page 1 / 6 Last » Next »