2 search results for "tag:"category:Computer Science/Algorithms/Complexity""

Showing 1 - 2
  1. coq-bellantonicook

    No documentation

    Deep embedding of Bellantoni and Cook's syntactic characterization of polytime functions
    category:Computer Science/Algorithms/Complexity keyword:implicit complexity keyword:polynomial time logpath:BellantoniCook date:2018-09-06
    Sylvain Heraud David Nowak
    1.0.0
    CeCILL-A
    Used by 1 other packages
    07 Sep 2018
  2. coq-cecoa

    No documentation

    Implicit-complexity Coq library to prove that some programs are computable in polynomial time
    category:Computer Science/Algorithms/Complexity keyword:implicit complexity keyword:polynomial time keyword:rewriting logpath:Cecoa date:2018-09-10
    Hugo Férée Samuel Hym Micaela Mayero Jean-Yves Moyen David Nowak
    1.0.0
    CeCILL-A
    Used by 0 other packages
    13 Sep 2018