Complexidade descritiva das lógicas de ordem superior com menor ponto fixo e análise de expressividade de algumas lógicas modais

Complexidade descritiva das lógicas de ordem superior com menor ponto fixo e análise de expressividade de algumas lógicas modais

Show other versions (1)

FREIRE, Cibele Matos. Complexidade descritiva das lógicas de ordem superior com menor ponto fixo e análise de expressividade de algumas lógicas modais. 2010. 54 f. Dissertação (Mestrado em ciência da computação)- Universidade Federal do Ceará, Fortaleza-CE, 2010. === Submitted by Elineudson Ribeiro...

Full description

Bibliographic Details
Main Author: Freire, Cibele Matos
Other Authors: Martins, Ana Teresa de Castro
Language:Portuguese
Published: 2016
Subjects:
Logicas e semantica de programa
Complexidade descritiva
Logica modal
Logicas de ordem superior
Hierarquia determinística de tempo exponencial
Operadores de ponto fixo
Online Access:http://www.repositorio.ufc.br/handle/riufc/18356

Internet

http://www.repositorio.ufc.br/handle/riufc/18356

Similar Items