Sciweavers

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