IANDC 2002 | Sciweavers

57

Voted

IANDC
2002

49views more IANDC 2002»

Preprocessing of Intractable Problems

15 years 3 months ago

Download www.dis.uniroma1.it

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

claim paper

Read More »

98

Voted

IANDC
2002

59views more IANDC 2002»

Type Inference for Variant Object Types

15 years 3 months ago

Download cs-people.bu.edu

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

claim paper

Read More »

88

Voted

IANDC
2002

75views more IANDC 2002»

Types for the Ambient Calculus

15 years 3 months ago

Download lucacardelli.name

Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon

claim paper

Read More »

86

click to vote

IANDC
2002

72views more IANDC 2002»

Syntactic Type Soundness Results for the Region Calculus

15 years 3 months ago

Download www.swen.uwaterloo.ca

Cristiano Calcagno, Simon Helsen, Peter Thiemann

claim paper

Read More »

99

click to vote

IANDC
2002

61views more IANDC 2002»

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

15 years 3 months ago

Download www.lsi.upc.edu

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

claim paper

Read More »

92

click to vote

IANDC
2002

84views more IANDC 2002»

Decidability of Split Equivalence

15 years 3 months ago

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 »

96

click to vote

IANDC
2002

51views more IANDC 2002»

Secure Implementation of Channel Abstractions

15 years 3 months ago

Download reference.kfupm.edu.sa

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

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers