Verified decision procedures on context-free grammars (2007)

by Y Minamide
Venue:Proc. of 20th Int. Conf. on Theorem Proving in Higher Order Logics, TPHOLS 2007, v. 4732 of Lect. Notes in Comput. Sci