Zobrazeno 1 - 3
of 3
pro vyhledávání: '"recursivas definitions"'
Publikováno v:
Biblioteca Digital de Teses e Dissertações da UFCUniversidade Federal do CearáUFC.
Conselho Nacional de Desenvolvimento CientÃfico e TecnolÃgico
Neste trabalho, o conceito de Modelo Minimal e seu uso na semÃntica de certas lÃgicas sÃo estudados. NÃs analisamos o poder expressivo de diversas lÃgicas que usam o conceito d
Neste trabalho, o conceito de Modelo Minimal e seu uso na semÃntica de certas lÃgicas sÃo estudados. NÃs analisamos o poder expressivo de diversas lÃgicas que usam o conceito d
Publikováno v:
Repositório Institucional da UFCUniversidade Federal do CearáUFC.
FERREIRA, Francicleber Martins. Modelos minimais e hierarquia de expressividade. 2007. 109 f. : Dissertação (mestrado) - Universidade Federal do Ceará, Centro de Ciências, Departamento de Computação, Fortaleza-CE, 2007.
Submitted by guarac
Submitted by guarac
Externí odkaz:
http://www.repositorio.ufc.br/handle/riufc/18059
Publikováno v:
Repositório Institucional da Universidade Federal do Ceará (UFC)
Universidade Federal do Ceará (UFC)
instacron:UFC
Universidade Federal do Ceará (UFC)
instacron:UFC
FERREIRA, Francicleber Martins. Modelos minimais e hierarquia de expressividade. 2007. 122 f. Dissertação (Mestrado em ciência da computação)- Universidade Federal do Ceará, Fortaleza-CE, 2007. Neste trabalho, o conceito de Modelo Minimal e seu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0d6eec7f39af4136a0ee497f1f22e52f
http://www.repositorio.ufc.br/handle/riufc/18059
http://www.repositorio.ufc.br/handle/riufc/18059
