Sciweavers

11

IANDC
2002

49views more IANDC 2002»

Preprocessing of Intractable Problems

13 years 7 months ago

Preprocessing of Intractable Problems

Download www.dis.uniroma1.it

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

claim paper

Read More »

19

IANDC
2002

59views more IANDC 2002»

Type Inference for Variant Object Types

13 years 7 months ago

Type Inference for Variant Object Types

Download cs-people.bu.edu

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

claim paper

Read More »

12

IANDC
2002

75views more IANDC 2002»

Types for the Ambient Calculus

13 years 7 months ago

Types for the Ambient Calculus

Download lucacardelli.name

Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon

claim paper

Read More »

18

IANDC
2002

72views more IANDC 2002»

Syntactic Type Soundness Results for the Region Calculus

13 years 7 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 »

18

IANDC
2002

61views more IANDC 2002»

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

13 years 7 months 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 »

13

IANDC
2002

84views more IANDC 2002»

Decidability of Split Equivalence

13 years 7 months 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 »

19

IANDC
2002

51views more IANDC 2002»

Secure Implementation of Channel Abstractions

13 years 7 months ago

Secure Implementation of Channel Abstractions

Download reference.kfupm.edu.sa

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

claim paper

Read More »