Pular para o conteúdo principal
Portal do Governo Brasileiro
Atualize sua Barra de Governo
Buscar:
Pesquisador(a)
|
Publicação
Menu principal
PESQUISADORES
REVISTAS
ASSUNTOS
PUBLICAÇÕES
Início
Hybrid logic
Hybrid logic
Filtre a busca
- Qualquer -
Pesquisador
Publicação
Publicação
Hybrid logics with Sahlqvist axioms
Using modal logics to express and check global graph properties
A study on multi-dimensional products of graphs and hybrid logics
Polynomial hierarchy graph properties in hybrid logic
