Ana Bove

International Conference on Theorem Proving in Higher Order Logics · 2009

A researcher in the Science corpus: 1 paper; trusts 1 researcher and is trusted by 3 researchers here, as inferred from the citation graph.

Whom Ana Bove trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Ulf Norell

Who trusts Ana Bove overall

  1. John Harrison
  2. Josef Urban

Papers from Ana Bove's perspective

Ordered by how strongly the researchers Ana Bove trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Dependently typed programming in Agda (ACM SIGPLAN International Workshop on Types In Languages Design And Implementation)
  2. Interactive Theorem Proving and Program Development (Texts in Theoretical Computer Science. An EATCS Series)
  3. Interactive Theorem Proving and Program Development: Coq'Art The Calculus of Inductive Constructions
  4. Formal Proof—The Four- Color Theorem
  5. Character Theory of Finite Groups
  6. SOLVABILITY OF GROUPS OF ODD ORDER
  7. The theory of finite groups : an introduction
  8. Finite Group Theory: Index

Their papers