Justifying induction on modal μ-formulae (English)
Free access
- New search for: Studer, Thomas
- New search for: Alberucci, Luca
- New search for: Krähenbühl, Jürg
- New search for: Studer, Thomas
- New search for: Alberucci, Luca
- New search for: Krähenbühl, Jürg
2014
- Miscellaneous / Electronic Resource
-
Title:Justifying induction on modal μ-formulae
-
Contributors:
-
Publication date:2014-01-01
-
DOI:
-
Type of media:Miscellaneous
-
Type of material:Electronic Resource
-
Language:English
- New search for: 000 / 510
- Further information on Dewey Decimal Classification
-
Keywords:
-
Classification:
-
Source: