Cheng-Chia Chen

From MaRDI portal
Person:1209337

Available identifiers

zbMath Open chen.cheng-chiaMaRDI QIDQ1209337

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q45011382000-09-03Paper
The computational complexity of the satisfiability of modal Horn clauses for modal propositional logics1995-03-15Paper
The computational complexity of satisfiability of temporal Horn formulas in propositional linear-time temporal logic1993-05-16Paper

Research outcomes over time

This page was built for person: Cheng-Chia Chen

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1209337&oldid=6091937"
Powered by MediaWiki