Certified CYK parsing of context-free languages
author
statement of authorship
Denis Firsov, Tarmo Uustalu
journal volume number month
Vol. 83, 5-6
year of publication
pages
p. 459-468
subject term
keyword
ISSN
2352-2208
notes
Bibliogr.: 13 ref
Special issue: The 24th Nordic Workshop on Programming Theory (NWPT 2012)
TTÜ department
language
inglise
Firsov, D., Uustalu, T. Certified CYK parsing of context-free languages // Journal of logical and algebraic methods in programming (2014) Vol. 83, 5-6, p. 459-468.