Parceria:
Home
Pesquisar:
Autor
Título
Ano
Evento
Periódico
Listar:
Eventos
Periódicos
Trabalhos Recentes
Curadoria
VI Logical and Semantic Frameworks with Applications - 2011 - Belo Horizonte, MG
6 registros retornados
Arnon Avron
.
A Logical Framework for Set Theories
.  3 - 15
Pablo Buiras
,
Alejandro Díaz-Caro
,
Mauro Jaskelioff
.
Confluence via strong normalisation in an algebraic ?-calculus with rewriting
.  16 - 29
Favio Ezequiel Miranda-Perea
,
Lourdes del Carmen González-Huesca
.
Mendler-style Iso-(Co)inductive predicates: a strongly normalizing approach
.  30 - 46
Paulo A. S. Veloso
,
Sheila R. M. Veloso
.
On Graph Refutation for Relational Inclusions
.  47 - 62
Andréia B Avelar
,
André L Galdino
,
Flávio LC de Moura
,
Mauricio Ayala-Rincón
.
A Formalization of the Theorem of Existence of First-Order Most General Unifiers
.  63 - 78
Anderson de Araújo
,
Marcelo Finger
.
Classical and quantum satisfiability
.  79 - 84
Home
Pesquisar:
Autor
Título
Ano
Evento
Periódico
Listar:
Eventos
Periódicos
Trabalhos Recentes
Curadoria
Biblioteca Digital Brasileira de Computação
Mantida por: