Sciweavers

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