Verified Decision Procedures on Context-Free Grammars
書誌事項
- タイトル
- Verified Decision Procedures on Context-Free Grammars
- 著者
- Y.Minamide
収録刊行物
-
- In Proc. of the 20th International Conference on Theorem Proving in Higher Order Logics LNCS 4732
-
In Proc. of the 20th International Conference on Theorem Proving in Higher Order Logics LNCS 4732 173-188, 2007