From post

Extensões de lógica Proposicional dinâmica para Redes de Petri.

. Pontifical Catholic University of Rio de Janeiro, Brazil, (2014)ndltd.org (oai:agregador.ibict.br.BDTD_PUC_RIO:oai:MAXWELL.puc-rio.br:24052).

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Extensões de lógica Proposicional dinâmica para Redes de Petri.. Pontifical Catholic University of Rio de Janeiro, Brazil, (2014)ndltd.org (oai:agregador.ibict.br.BDTD_PUC_RIO:oai:MAXWELL.puc-rio.br:24052).Revisiting Counter-model Generation for Minimal Implicational Logic., , и . CoRR, (2019)