Yan-Hong She

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006

1 EE Guo-Jun Wang, Yan-Hong She: A topological characterization of consistency of logic theories in propositional logic. Math. Log. Q. 52(5): 470-477 (2006)

2006
1	EE	Guo-Jun Wang, Yan-Hong She: A topological characterization of consistency of logic theories in propositional logic. Math. Log. Q. 52(5): 470-477 (2006)

Coauthor Index

1 Guo-Jun Wang [1]