A mostrar 1 - 9 resultados de 9 para a pesquisa 'Horváth Z', tempo de pesquisa: 0.03seg Refinar resultados
  1. 1
  2. 2
  3. 3
  4. 4
  5. 5
  6. 6
  7. 7
  8. 8

    A reflection−based proof tactic for lattices in Coq Por James, D, Hinze, R

    Publicado em 2009
    Outros Autores: “...Horváth, Z...”
    Livro
  9. 9

    Reasoning about Codata Por Hinze, R

    Publicado em 2010
    Outros Autores: “...Horváth, Z...”
    Livro