Li Dafa (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

6

Li Dafa, Peifa Jia, Xinxin Li: Simplifying von Plato's Axiomatization of Constructive Apartness Geometry. Ann. Pure Appl. Logic 102(1-2): 1-26 (2000)

Selection of 1 from 6 records - Li Dafa has 2 coauthors