Hongyan Tan

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Semantic consistency checking in building ontology from heterogeneous sources Journal of Applied Mathematics	2019-11-19	Paper
Optimal spatial matrix filter design for array signal preprocessing Journal of Applied Mathematics	2019-11-19	Paper
Approximate equivalence of the hybrid automata with Taylor theory Journal of Applied Mathematics	2019-11-19	Paper
A deductive approach towards reasoning about algebraic transition systems Mathematical Problems in Engineering	2018-08-27	Paper
Model checking technology and tool development based on Groebner base Journal of Computer Applications	2010-02-01	Paper
scientific article; zbMATH DE number 1281390 (Why is no real title available?)	1999-04-29	Paper
An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics Journal of Applied Non-Classical Logics	1999-03-22	Paper
scientific article; zbMATH DE number 1145330 (Why is no real title available?)	1999-02-09	Paper
scientific article; zbMATH DE number 979948 (Why is no real title available?)	1997-05-28	Paper
scientific article; zbMATH DE number 989195 (Why is no real title available?)	1997-03-09	Paper

Research outcomes over time

This page was built for person: Hongyan Tan