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