Complexidade descritiva da lógica de ponto fixo relacional inflacionário

FARIAS, Márcia Roberta Falcão de. Complexidade descritiva da lógica de ponto fixo relacional inflacionário. 2016. 114 f. Tese (Doutorado em Ciência da Computação)-Universidade Federal do Ceará, Fortaleza, 2016. === Submitted by Anderson Silva Pereira (anderson.pereiraaa@gmail.com) on 2017-01-10T20:5...

Full description

Bibliographic Details
Main Author: Farias, Márcia Roberta Falcão de
Other Authors: Ferreira, Francicleber Martins
Language:Portuguese
Published: 2017
Subjects:
Online Access:http://www.repositorio.ufc.br/handle/riufc/21502