de Queiroz R.Moss L.S.de Oliveira A.G.de Paiva V.Leivant D.
Document Type
Proceedings Paper
Year published
2015
Published
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