Sciweavers

COCOON
1995
Springer
13 years 8 months ago
Dense Packings of 3k(k+1)+1 Equal Disks in a Circle for k=1, 2, 3, 4 and 5
Boris D. Lubachevsky, Ronald L. Graham
COCOON
1995
Springer
13 years 8 months ago
Constructing Craig Interpolation Formulas
A Craig interpolant of two inconsistent theories is a formula which is true in one and false in the other. This paper gives an eificient method for constructing a Craig interpolant...
Guoxiang Huang
COCOON
1995
Springer
13 years 8 months ago
Analysis of Quorum-Based Protocols for Distributed (k+1)-Exclusion
Divyakant Agrawal, Ömer Egecioglu, Amr El Abb...