Sciweavers

17

IANDC
2002

49views more IANDC 2002»

Preprocessing of Intractable Problems

14 years 11 days ago

Preprocessing of Intractable Problems

Download www.dis.uniroma1.it

Marco Cadoli, Francesco M. Donini, Paolo Liberator...

claim paper

Read More »

26

IANDC
2002

59views more IANDC 2002»

Type Inference for Variant Object Types

14 years 11 days ago

Type Inference for Variant Object Types

Download cs-people.bu.edu

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

claim paper

Read More »

18

IANDC
2002

75views more IANDC 2002»

Types for the Ambient Calculus

14 years 11 days ago

Types for the Ambient Calculus

Download lucacardelli.name

Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon

claim paper

Read More »

28

IANDC
2002

72views more IANDC 2002»

Syntactic Type Soundness Results for the Region Calculus

14 years 11 days ago

Syntactic Type Soundness Results for the Region Calculus

Download www.swen.uwaterloo.ca

Cristiano Calcagno, Simon Helsen, Peter Thiemann

claim paper

Read More »

26

IANDC
2002

61views more IANDC 2002»

Lower Bounds for the Weak Pigeonhole Principle and Random Formulas beyond Resolution

14 years 11 days ago

Lower Bounds for the Weak Pigeonhole Principle and Random Formulas beyond Resolution

Download www.lsi.upc.edu

Albert Atserias, Maria Luisa Bonet, Juan Luis Este...

claim paper

Read More »

26

IANDC
2002

84views more IANDC 2002»

Decidability of Split Equivalence

14 years 11 days ago

Decidability of Split Equivalence

Download www.technion.ac.il

We show that the following problem is decidable: given expressions E1 and E2 constructed from variables by the regular operations and shuffle, is the identity E1 = E2 true for all...

Y. Abramson, Alexander Moshe Rabinovich

claim paper

Read More »

30

IANDC
2002

51views more IANDC 2002»

Secure Implementation of Channel Abstractions

14 years 11 days ago

Secure Implementation of Channel Abstractions

Download reference.kfupm.edu.sa

Martín Abadi, Cédric Fournet, George...

claim paper

Read More »