[logic-ml] four extensions of context-free grammars

logic logic at math.tsukuba.ac.jp
Thu Sep 22 12:14:22 JST 2022

Previous message (by thread): [logic-ml] unique key Horn functions
Next message (by thread): [logic-ml] 数学基礎論若手の会 2022
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

  次の論文をreviewしましたので、
      御案内しておきます。


  https://zbmath.org/?q=an%3A0813.68129


    にしむら
    https://www.researchgate.net/profile/Hirokazu-Nishimura
    https://www.youtube.com/watch?v=OlDsh3hyFZU

Previous message (by thread): [logic-ml] unique key Horn functions
Next message (by thread): [logic-ml] 数学基礎論若手の会 2022
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Logic-ml mailing list