Sciweavers

108 search results - page 4 / 22

» iandc 2006

87

IANDC
2002

72views more IANDC 2002»

Syntactic Type Soundness Results for the Region Calculus

15 years 4 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 »

89

IANDC
2002

75views more IANDC 2002»

Types for the Ambient Calculus

15 years 4 months ago

Types for the Ambient Calculus

Download lucacardelli.name

Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon

claim paper

Read More »

100

IANDC
2002

59views more IANDC 2002»

Type Inference for Variant Object Types

15 years 4 months ago

Type Inference for Variant Object Types

Download cs-people.bu.edu

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

claim paper

Read More »

90

IANDC
2002

49views more IANDC 2002»

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

15 years 4 months ago

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

Download www.labri.fr

Bruno Courcelle

claim paper

Read More »

102

IANDC
2002

55views more IANDC 2002»

The Complexity of Propositional Linear Temporal Logics in Simple Cases

15 years 4 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 »