A mechanisation of some context-free language theory in HOL4

Citation

Barthwal, A & Norrish, M 2014, 'A mechanisation of some context-free language theory in HOL4', Journal of Computer and System Sciences, vol. 80, no. 2, pp. 346-362.

Year

2014

ANU Authors

Updated:  03 July 2022 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers