Graph explorer

Research map

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

Nerio Borges
Map detail
Nerio Borges3 visible / 3 total nodes / 2 links

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

AuthorshipAuthorshipNerio BorgesANerio BorgesResearcherA sufficient condition for first order non-definability of arrowing problemsWA sufficient condition ...preprint / 2012Universal First-Order Logic is Superfluous for NL, P, NP and coNPWUniversal First-Order L...preprint / 2014
Person2 links

Nerio Borges

Researcher