Sciweavers

17 search results - page 1 / 4
» iandc 2002
Sort
View
57
Voted
IANDC
2002
60views more  IANDC 2002»
15 years 27 days ago
Foundations for Extensible Objects with Roles
Giorgio Ghelli
73
Voted
IANDC
2002
55views more  IANDC 2002»
15 years 27 days ago
The Complexity of Propositional Linear Temporal Logics in Simple Cases
Stéphane Demri, Ph. Schnoebelen
70
Voted
IANDC
2002
54views more  IANDC 2002»
15 years 27 days ago
Prelogical Relations
Furio Honsell, Donald Sannella