000 00417nmm a2200145Ia 4500
008 230125s9999||||xx |||||||||||||||||und||
020 _a9789491216954
100 _aFabio Mogavero
245 0 _aLogics in Computer Science
250 _a2013
260 _bAtlantis Press
_c2013
440 _aAtlantis Studies in Computing
650 _aMathematics and Statistics
856 _uhttps://doi.org/10.2991/978-94-91216-95-4
999 _c11161
_d11161