[Updated on Apr. 18] Integration of CiNii Articles into CiNii Research

Verified Decision Procedures on Context-Free Grammars

Bibliographic Information

Title
Verified Decision Procedures on Context-Free Grammars
Author
Y.Minamide

Journal

Related Projects

See more

Details

  • CRID
    1010000782456288005
  • Article Type
    journal article
  • Data Source
    • KAKEN

Report a problem

Back to top