Graph explorer

Research map

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

Cláudia Nalon
Map detail
Cláudia Nalon3 visible / 3 total nodes / 2 links

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

AuthorshipAuthorshipCláudia NalonACláudia NalonResearcherA Resolution Prover for Coalition LogicWA Resolution Prover for...preprint / 2014Clausal Resolution for Modal Logics of ConfluenceWClausal Resolution for ...preprint / 2014
Person2 links

Cláudia Nalon

Researcher