Exportação concluída — 
Mostrando 1 - 1 resultados de 1 para a busca '"Least fixed-point logic"', tempo de busca: 0,27s

1

Assuntos: ...Least fixed-point logic...

Um sistema infinitário para a lógica de menor ponto fixo

Publicado em 2007
Dissertação