Início
Painéis de Indicadores
Ferramentas
Carrot2
Visão
Equipe
Sobre
Contato
Inglês
Inglês
Português
lógica e semântica de programas
Conceito
Pesquisas
Pesquisas
área de pesquisa
Local is Best: Efficient Reductions to Modal Logic K