Sciweavers

10539 search results - page 296 / 2108
» On L
Sort
View
STOC
1991
ACM
89views Algorithms» more  STOC 1991»
15 years 10 months ago
The Expressive Power of Voting Polynomials
James Aspnes, Richard Beigel, Merrick L. Furst, St...
TACS
1991
Springer
15 years 10 months ago
An Abstract Interpretation for ML Equality Kinds
Carl A. Gunter, Elsa L. Gunter, David B. MacQueen
136
Voted
POPL
1994
ACM
15 years 10 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 10 months ago
Optimization of Relational Schemas Containing Inclusion Dependencies
Marco A. Casanova, Luiz Tucherman, Antonio L. Furt...
ASM
2010
ASM
15 years 10 months ago
Development of a Synchronous Subset of AADL
Mamoun Filali-Amine, Julia L. Lawall