Ana Cristina Rocha-Oliveira
Universidade de Brasília(BR)
Publications by Year
Research Areas
Logic, programming, and type systems, Logic, Reasoning, and Knowledge, Formal Methods in Verification, Advanced Algebra and Logic, Model-Driven Software Engineering Techniques
Most-Cited Works
- → Completeness in PVS of a Nominal Unification Algorithm(2016)13 cited
- → A formalisation of nominal α-equivalence with A, C, and AC function symbols(2019)13 cited
- → Checking Overlaps of Nominal Rewriting Rules(2016)9 cited
- → The Computational Relevance of Formal Logic Through Formal Proofs(2019)6 cited
- → Confluence of Orthogonal Term Rewriting Systems in the Prototype Verification System(2016)4 cited
- → Nominal essential intersection types(2018)