Verified Decision Procedures on Context-Free Grammars
Bibliographic Information
- Title
- Verified Decision Procedures on Context-Free Grammars
- Author
- Y.Minamide
Journal
-
- 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
- Tweet
Details 詳細情報について
-
- CRID
- 1010000782456288005
-
- Article Type
- journal article
-
- Data Source
-
- KAKEN