Fixed Point Logics (2001)

Cached

Download Links

by Anuj Dawar , Yuri Gurevich
Venue:Bulletin of Symbolic Logic
Citations:11 - 5 self