Publicações no BrCris

Estatísticas da Produção

Rede de coautoria

Áreas da Produção

Tag Cloud da Produção

Ariel Agne da Silveira

Publicações
Identidade
Ver todos

publicações selecionadas

A Deep Embedding of Modal Logic in Coq Proof Assistant