Sciweavers

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