Minxia Luo

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2005

1 Minxia Luo, Huacan He: A Propositional Calculus Formal Deductive System L^U of Universal Logic and Its Completeness. FSKD (1) 2005: 31-41

	2005
1		Minxia Luo, Huacan He: A Propositional Calculus Formal Deductive System L^U of Universal Logic and Its Completeness. FSKD (1) 2005: 31-41

Coauthor Index