Search Results - "Coen, C. Sacerdoti"

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    A compact kernel for the calculus of inductive constructions

    A compact kernel for the calculus of inductive constructions by Asperti, A., Ricciotti, W., Sacerdoti Coen, C., Tassi, E.

    Published in Sadhana (Bangalore) (01-02-2009)
    “…The paper describes the new kernel for the Calculus of Inductive Constructions (CIC) implemented inside the Matita Interactive Theorem Prover. The design of…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  2. 2
    A Survey on Retrieval of Mathematical Knowledge

    A Survey on Retrieval of Mathematical Knowledge by Guidi, F, Coen, C. Sacerdoti

    Published 25-05-2015
    “…We present a short survey of the literature on indexing and retrieval of mathematical knowledge, with pointers to 72 papers and tentative taxonomies of both…”
    Get full text
    Journal Article
    Save to List
    Saved in:

Search Tools: