SILVA, Mariana Matulovic da; Non-deterministic Semantics in Polynomial Format., 09/2013, LSFA- 8th Workshop on Logical and Semantic Framework, with Applications.,Vol. único, pp.101-114, São Paulo, SP, Brasil, 2013 *
* Esta produção está associada também a outros órgãos
