certified programs (keyword)

types of item

  • journal article
    Certified CYK parsing of context-free languagesFirsov, Denis; Uustalu, TarmoJournal of logical and algebraic methods in programming2014 / p. 459-468
    journal article
Number of records 1, displaying 1 - 1