Instituição: UnB
Título: Extending the Locally Nameless Representation with an Explicit Substitution Operator
Sala: B
Instituição: UFBA
Título: Reductions between certain incidence problems and the Continuum Hypothesis
Sala: B
Instituição: UnB
Título: Formalization of Rice’s Theorem for a Turing Complete Functional Language Model
series
Sala: B
Instituição: Universidad de O’Higgins
Título: Properties of Rule-Based Anti-Unification Algorithms
Sala: B
Instituição: UnB
Título: Formalizing Termination of Functional Programs and Term Rewriting Systems in PVS
Sala: ASS 432/10
Instituição: UFF
Título: A logical framework for exogenous component-based software reasoning with Reo
Sala: B