Hongyan Tan

From MaRDI portal
Person:1666121

Available identifiers

zbMath Open tan.hongyanMaRDI QIDQ1666121

List of research outcomes





PublicationDate of PublicationType
Semantic consistency checking in building ontology from heterogeneous sources2019-11-19Paper
Optimal spatial matrix filter design for array signal preprocessing2019-11-19Paper
Approximate equivalence of the hybrid automata with Taylor theory2019-11-19Paper
A deductive approach towards reasoning about algebraic transition systems2018-08-27Paper
Model checking technology and tool development based on Groebner base2010-02-01Paper
https://portal.mardi4nfdi.de/entity/Q42406851999-04-29Paper
An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics1999-03-22Paper
https://portal.mardi4nfdi.de/entity/Q43846251999-02-09Paper
https://portal.mardi4nfdi.de/entity/Q43331311997-05-28Paper
https://portal.mardi4nfdi.de/entity/Q31238881997-03-09Paper

Research outcomes over time

This page was built for person: Hongyan Tan

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