fixed point logics | Sciweavers

CONCUR
2010
Springer

116views Distributed And Parallel Com...» more CONCUR 2010»

14 years 8 months ago

Fixed point logics are widely used in computer science, in particular in artificial intelligence and concurrency. The most expressive logics of this type are the

Lutz Schröder, Yde Venema

claim paper

Read More »

click to vote

LICS
1999
IEEE

116views Automated Reasoning» more LICS 1999»

Guarded Fixed Point Logic

14 years 11 months ago

Download www.labri.u-bordeaux.fr

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

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers