Showing 1 - 10 results of 10 for search 'Horváth, Z', query time: 0.03s Refine Results
  1. 1
  2. 2
  3. 3
  4. 4
  5. 5
  6. 6
  7. 7
  8. 8
  9. 9

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

    Published 2009
    Other Authors: “…Horváth, Z…”
    Book
  10. 10

    Reasoning about Codata by Hinze, R

    Published 2010
    Other Authors: “…Horváth, Z…”
    Book