[logic-ml] boolean valued analysis

logic logic at math.tsukuba.ac.jp
Fri Dec 24 16:52:09 JST 2021

Previous message (by thread): [logic-ml] WRLA 2022: Call for Papers (deadline extension)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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


https://zbmath.org/pdf/07437842.pdf

にしむら
https://www.youtube.com/watch?v=3vSbRDRgnuI

Previous message (by thread): [logic-ml] WRLA 2022: Call for Papers (deadline extension)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Logic-ml mailing list