Busca
ETDs @PUC-Rio
Início
Programas PG
Busca
Estatísticas
Contato
| A + |
| A |
| A - |
Estatísticas -> Conteúdo - Acesso
Título:
ARGUING NP = PSPACE: ON THE COVERAGE AND SOUNDNESS OF THE HORIZONTAL COMPRESSION ALGORITHM
Autor(es):
ROBINSON CALLOU DE M BRASIL FILHO
Colaborador(es):
EDWARD HERMANN HAEUSLER Orientador
Catalogação :
12/09/2024
Defesa:
30/04/2024
Língua:
ENGLISH - UNITED STATES
Países:
10
Visitas:
42
Partições:
1
Acesso:
PUBLIC
Visualizar Gráfico
País
Visitas
1
BRAZIL
6
2
CHINA
1
3
GERMANY
2
4
HONG KONG
3
5
INDIA
2
6
RUSSIAN FEDERATION
4
7
SINGAPORE
2
8
SWITZERLAND
2
9
UNITED KINGDOM
1
10
UNITED STATES
19
Total: 42
Visualizar Gráfico
<< Voltar
