Publication:2764077
From MaRDI portal
zbMath0977.68642MaRDI QIDQ2764077
John Aycock, R. Nigel Horspool
Publication date: 22 January 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2027/20270229
Related Items
Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors, Early action in an Earley parser, Recognition is not parsing - SPPF-style parsing from cubic recognisers