%0 Conference Paper %1 conf/mfcs/HellaKMV15 %A Hella, Lauri %A Kuusisto, Antti %A Meier, Arne %A Vollmer, Heribert %B MFCS (1) %D 2015 %E Italiano, Giuseppe F. %E Pighizzini, Giovanni %E Sannella, Donald %I Springer %K dblp %P 281-292 %T Modal Inclusion Logic: Being Lax is Simpler than Being Strict. %U http://dblp.uni-trier.de/db/conf/mfcs/mfcs2015-1.html#HellaKMV15 %V 9234 %@ 978-3-662-48056-4

@inproceedings{conf/mfcs/HellaKMV15, added-at = {2019-09-25T00:00:00.000+0200}, author = {Hella, Lauri and Kuusisto, Antti and Meier, Arne and Vollmer, Heribert}, biburl = {https://www.bibsonomy.org/bibtex/2550129d269d5978695e9159cfeb7b4c6/dblp}, booktitle = {MFCS (1)}, crossref = {conf/mfcs/2015-1}, editor = {Italiano, Giuseppe F. and Pighizzini, Giovanni and Sannella, Donald}, ee = {https://www.wikidata.org/entity/Q57998287}, interhash = {242715ae993c85dbb2658b8a5c42c93a}, intrahash = {550129d269d5978695e9159cfeb7b4c6}, isbn = {978-3-662-48056-4}, keywords = {dblp}, pages = {281-292}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-26T12:56:48.000+0200}, title = {Modal Inclusion Logic: Being Lax is Simpler than Being Strict.}, url = {http://dblp.uni-trier.de/db/conf/mfcs/mfcs2015-1.html#HellaKMV15}, volume = 9234, year = 2015 }