Janos A. Makowsky
(1990-1999)
XCapturing relativized complexity classes with Lindström quantifiers
1995
in: The foundational debate, Dordrecht : Springer
(1990-1999)
XCapturing relativized complexity classes with Lindström quantifiers
1995
in: The foundational debate, Dordrecht : Springer