Proofs and pedagogy; science and systems: The Grammar Tool Box

DOI10.1016/J.SCICO.2007.01.016zbMATH Open1129.68443OpenAlexW2013053943MaRDI QIDQ2463552FDOQ2463552

Authors: A. Johnstone, E. Scott 

Publication date: 12 December 2007

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2007.01.016

Recommendations

• scientific article; zbMATH DE number 1102592
• Grammar as Mathematics
• scientific article
• Grammar specification in categorial logics and theorem proving
• scientific article; zbMATH DE number 2050921
• scientific article

zbMATH Keywords

context-free grammartool designgeneralised parsingtool application

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Grammars and rewriting systems (68Q42) Technological tools, calculators (aspects of mathematics education) (97U70)

Cited In (2)

• Recognition is not parsing - SPPF-style parsing from cubic recognisers
• Title not available (Why is that?)

This page was built for publication: Proofs and pedagogy; science and systems: The Grammar Tool Box

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2463552)