A Finite Model-Theoretical Proof of a Property of Bounded Query Classes within PH
Leszek Aleksander KołodziejczykVolume:
69
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/30041778
Date:
December, 2004
File:
PDF, 1.37 MB
english, 2004