Details
| Original language | Undefined/Unknown |
|---|---|
| Title of host publication | Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings |
| Pages | 281-292 |
| Publication status | Published - 2015 |
Cite this
- Standard
- Harvard
- Apa
- Vancouver
- BibTeX
- RIS
Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings. 2015. p. 281-292.
Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
}
TY - GEN
T1 - Modal Inclusion Logic - Being Lax is Simpler than Being Strict.
AU - Hella, Lauri
AU - Kuusisto, Antti
AU - Meier, Arne
AU - Vollmer, Heribert
N1 - Funding information: The authors thank the anonymous referees for their comments. The third author is supported by DFG grant ME 4279/1-1. The second author acknowledges support from Jenny and Antti Wihuri Foundation.
PY - 2015
Y1 - 2015
U2 - 10.1007/978-3-662-48057-1_22
DO - 10.1007/978-3-662-48057-1_22
M3 - Aufsatz in Konferenzband
SP - 281
EP - 292
BT - Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings
ER -