20th workshop on logic, language, information and computation – WoLLIC 2013
Libkin, Leonid ; Kohlenbach, Ulrich ; de Queiroz, Ruy J.G.B.
Journal of computer and system sciences, 2017-09, Vol.88, p.1-2
[Periódico revisado por pares]
Elsevier Inc
Texto completo disponível