activity
20172022
most citedTravel Time Estimation without Road Networks: An Urban Morphological Layout Representation Approach

5 citations · 18 across the 8 of their papers we have counts for

collaborators
Showing math.LOShow all

1 paper · 1 filter

math.LO2017★ 2 cited

The logic of pseudo-uninorms and their residua

SanMin Wang

Our method of density elimination is generalized to the non-commutative substructural logic GpsUL*. Then the standard completeness of GpsUL* follows as a lemma by virtue of previou…