Uma Semântica Algébrica para o lâmbda-Cálculo Intervalar
Data de Publicação: | 1996 |
---|---|
Tipo de documento: | Dissertação |
Título da fonte: | Portal de Dados Abertos da CAPES |
id |
BRCRIS_03562f9b879f0f3bbef9d0bb8b56788a |
---|---|
network_acronym_str |
CAPES |
network_name_str |
Portal de Dados Abertos da CAPES |
dc.title.pt-BR.fl_str_mv |
Uma Semântica Algébrica para o lâmbda-Cálculo Intervalar |
title |
Uma Semântica Algébrica para o lâmbda-Cálculo Intervalar |
spellingShingle |
Uma Semântica Algébrica para o lâmbda-Cálculo Intervalar |
title_short |
Uma Semântica Algébrica para o lâmbda-Cálculo Intervalar |
title_full |
Uma Semântica Algébrica para o lâmbda-Cálculo Intervalar |
title_fullStr |
Uma Semântica Algébrica para o lâmbda-Cálculo Intervalar Uma Semântica Algébrica para o lâmbda-Cálculo Intervalar |
title_full_unstemmed |
Uma Semântica Algébrica para o lâmbda-Cálculo Intervalar Uma Semântica Algébrica para o lâmbda-Cálculo Intervalar |
title_sort |
Uma Semântica Algébrica para o lâmbda-Cálculo Intervalar |
publishDate |
1996 |
format |
masterThesis |
author_role |
author |
dc.publisher.none.fl_str_mv |
UNIVERSIDADE FEDERAL DE PERNAMBUCO |
publisher.none.fl_str_mv |
UNIVERSIDADE FEDERAL DE PERNAMBUCO |
instname_str |
UNIVERSIDADE FEDERAL DE PERNAMBUCO |
reponame_str |
Portal de Dados Abertos da CAPES |
collection |
Portal de Dados Abertos da CAPES |
spelling |
CAPESPortal de Dados Abertos da CAPESUma Semântica Algébrica para o lâmbda-Cálculo IntervalarUma Semântica Algébrica para o lâmbda-Cálculo IntervalarUma Semântica Algébrica para o lâmbda-Cálculo IntervalarUma Semântica Algébrica para o lâmbda-Cálculo IntervalarUma Semântica Algébrica para o lâmbda-Cálculo IntervalarUma Semântica Algébrica para o lâmbda-Cálculo IntervalarUma Semântica Algébrica para o lâmbda-Cálculo Intervalar1996masterThesisauthorUNIVERSIDADE FEDERAL DE PERNAMBUCOUNIVERSIDADE FEDERAL DE PERNAMBUCOUNIVERSIDADE FEDERAL DE PERNAMBUCOPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES |
_version_ |
1741886451067387904 |