NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 1
  • Tagged with
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.

Search results

Showing 1 to 3 of 3 (0.068 seconds)
1

Preordered categories and predicate transformers

Martin, Clare January 1991 (has links)
No description available.
510
Algebraic semantics
2

Semantics of non-terminating systems through term rewriting

Barros, Jose Bernado dos Santos Monteiro Vieira de January 1995 (has links)
No description available.
621.3192
Equational logic; Algebraic semantics
3

Semantica algebrica de traduções possiveis

Bueno-Soler, Juliana, 1976- 31 August 2004 (has links)
Orientadores: Marcelo Esteban Coniglio, Carlos Caleiro / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-04T00:28:23Z (GMT). No. of bitstreams: 1 Bueno-Soler_Juliana_M.pdf: 944055 bytes, checksum: 560404307eedeebf3b45f7ca82f30d78 (MD5) Previous issue date: 2004 / Mestrado / Filosofia / Mestre em Filosofia
Lógica algébrica
Linguagens formais - Semântica
Lógica simbólica e matemática
Categorias (Matemática)
Finite algebraization
Category theory
Paraconsistent logics
Algebraic semantics
Possible-translations semantics
Possibletranslations

Page generated in 0.073 seconds