Sciweavers

100
Voted
IANDC
2006
95views more  IANDC 2006»
15 years 1 months ago
The alternation hierarchy in fixpoint logic with chop is strict too
Fixpoint Logic with Chop extends the modal
Martin Lange