Di Meng

From MaRDI portal
Person:2994472

Available identifiers

zbMath Open meng.diMaRDI QIDQ2994472

List of research outcomes





PublicationDate of PublicationType
Convergence of a formula sequence in two-valued propositional logic2017-01-06Paper
https://portal.mardi4nfdi.de/entity/Q29944732016-08-10Paper

Research outcomes over time

This page was built for person: Di Meng