in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743
Volume: 9160, Pages: 36-52
Conference
22Nd International Workshop on Logic, Language, Information and Computation, Wollic 2015, Date: 20 July 2015 through 23 July 2015, Sponsors: Applied Logics, IGPL;Association for Symbolic Logic, ASL;et al;European Association for Computer Science Logic, EACSL;European Association for Theoretical Computer Science, EATCS;Interest Group in Pure and;The Association for Logic, Language and Information, FoLLI
