Sciweavers

10539 search results - page 296 / 2108
» On L
Sort
View
STOC
1991
ACM
89views Algorithms» more  STOC 1991»
15 years 9 months ago
The Expressive Power of Voting Polynomials
James Aspnes, Richard Beigel, Merrick L. Furst, St...
124
Voted
TACS
1991
Springer
15 years 9 months ago
An Abstract Interpretation for ML Equality Kinds
Carl A. Gunter, Elsa L. Gunter, David B. MacQueen
POPL
1994
ACM
15 years 9 months ago
Soft Typing with Conditional Types
Alexander Aiken, Edward L. Wimmers, T. K. Lakshman
VLDB
1989
ACM
72views Database» more  VLDB 1989»
15 years 9 months ago
Optimization of Relational Schemas Containing Inclusion Dependencies
Marco A. Casanova, Luiz Tucherman, Antonio L. Furt...
ASM
2010
ASM
15 years 9 months ago
Development of a Synchronous Subset of AADL
Mamoun Filali-Amine, Julia L. Lawall