Sciweavers

LICS
1999
IEEE

Guarded Fixed Point Logic

13 years 8 months ago
Guarded Fixed Point Logic
Guarded fixed point logics are obtained by adding least and greatest fixed points to the guarded fragments of firstorder logic that were recently introduced by Andr
Erich Grädel, Igor Walukiewicz
Added 04 Aug 2010
Updated 04 Aug 2010
Type Conference
Year 1999
Where LICS
Authors Erich Grädel, Igor Walukiewicz
Comments (0)