A Formalisation of the Normal Forms of Context-Free Grammars in HOL4

Citation

Barthwal, A & Norrish, M 2010, 'A Formalisation of the Normal Forms of Context-Free Grammars in HOL4', Workshop on Logic, Language, Information and Computation (WoLLIC 2010), ed. Anuj Dawar, Springer, Berlin, p. 15.

Year

2010

ANU Authors

Field of Research

  • Artificial Intelligence And Image Processing Not Elsewhere Classified

Updated:  15 April 2021 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers