Sciweavers

108 search results - page 4 / 22

» iandc 2006

27

IANDC
2002

72views more IANDC 2002»

Syntactic Type Soundness Results for the Region Calculus

13 years 10 months ago

Syntactic Type Soundness Results for the Region Calculus

Download www.swen.uwaterloo.ca

Cristiano Calcagno, Simon Helsen, Peter Thiemann

claim paper

Read More »

16

IANDC
2002

75views more IANDC 2002»

Types for the Ambient Calculus

13 years 10 months ago

Types for the Ambient Calculus

Download lucacardelli.name

Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon

claim paper

Read More »

22

IANDC
2002

59views more IANDC 2002»

Type Inference for Variant Object Types

13 years 10 months ago

Type Inference for Variant Object Types

Download cs-people.bu.edu

Michele Bugliesi, Santiago M. Pericás-Geert...

claim paper

Read More »

20

IANDC
2002

49views more IANDC 2002»

A Monadic Second-Order Definition of the Structure of Convex Hypergraphs

13 years 10 months ago

A Monadic Second-Order Definition of the Structure of Convex Hypergraphs

Download www.labri.fr

Bruno Courcelle

claim paper

Read More »

29

IANDC
2002

55views more IANDC 2002»

The Complexity of Propositional Linear Temporal Logics in Simple Cases

13 years 10 months ago

The Complexity of Propositional Linear Temporal Logics in Simple Cases

Download www.lsv.ens-cachan.fr

Stéphane Demri, Ph. Schnoebelen

claim paper

Read More »

« Prev « First page 4 / 22 Last » Next »