Certified CYK parsing of context-free languages

Saved in:
Bibliographic Details
Published in:Journal of logical and algebraic methods in programming Vol. 83; no. 5-6; pp. 459 - 468
Main Authors: Firsov, Denis, Uustalu, Tarmo
Format: Journal Article
Language:English
Published: 01.09.2014
ISSN:2352-2208
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
ISSN:2352-2208
DOI:10.1016/j.jlamp.2014.09.002