A formalisation of the Cocke-Younger-Kasami algorithm

Bortin, Maksym (2016). A formalisation of the Cocke-Younger-Kasami algorithm. Archive of Formal Proofs, 2016.
ajakirjaartikkel
Bortin, Maksym
  • Inglise
Archive of Formal Proofs
2150-914x
2016
2016
Ilmunud
1.2. Teadusartiklid teistes rahvusvahelistes teadusajakirjades, millel on registreeritud kood, rahvusvaheline toimetus, rahvusvahelise kolleegiumiga eelretsenseerimine, rahvusvaheline levik ning kättesaadavus ja avatus kaastöödele

Viited terviktekstile

Lisainfo