Sciweavers

APAL
2004

Algorithmic uses of the Feferman-Vaught Theorem

13 years 11 months ago
Algorithmic uses of the Feferman-Vaught Theorem
The classical Feferman
Johann A. Makowsky
Added 16 Dec 2010
Updated 16 Dec 2010
Type Journal
Year 2004
Where APAL
Authors Johann A. Makowsky
Comments (0)