Sciweavers

89
Voted
APAL
2004
67views more  APAL 2004»
15 years 28 days ago
Algorithmic uses of the Feferman-Vaught Theorem
The classical Feferman
Johann A. Makowsky