Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Hou Ping
Map detail
Hou Ping2 visible / 2 total nodes / 1 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipHou PingAHou PingResearcherFO(FD): Extending classical logic with rule-based fixpoint definitionsWFO(FD): Extending class...preprint / 2010
Person1 links

Hou Ping

Researcher