Sciweavers

116

Voted

IANDC
2006

95views more IANDC 2006»

The alternation hierarchy in fixpoint logic with chop is strict too

15 years 2 months ago

The alternation hierarchy in fixpoint logic with chop is strict too

Download www2.tcs.ifi.lmu.de

Fixpoint Logic with Chop extends the modal

Martin Lange

claim paper

Read More »