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:  15 April 2021 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers