Sciweavers

ICLA
2009
Springer

A Unified Framework for Certificate and Compilation for QBF

14 years 5 months ago
A Unified Framework for Certificate and Compilation for QBF
Igor Stéphan, Benoit Da Mota
Added 26 May 2010
Updated 26 May 2010
Type Conference
Year 2009
Where ICLA
Authors Igor Stéphan, Benoit Da Mota
Comments (0)