Showing 1 - 3 results of 3 for search 'Enrico Tassi', query time: 0.04s Refine Results
  1. 1
    Superposition as a logical glue
    by Andrea Asperti, Enrico Tassi
    Published 2011-03-01
    Get full text
    Article
  2. 2
    Nonuniform Coercions via Unification Hints
    by Claudio Sacerdoti Coen, Enrico Tassi
    Published 2011-03-01
    Get full text
    Article
  3. 3
    A constructive and formal proof of Lebesgue’s Dominated Convergence Theorem in the interactive theorem prover Matita
    by Claudio Sacerdoti Coen, Enrico Tassi
    Published 2008-12-01
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search