Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
4 links
Luís Pinto
Researcher
PaperRelating Sequent Calculi for Bi-intuitionistic Propositional LogicAuthorship / preprint / 2011PaperA Coinductive Approach to Proof SearchAuthorship / preprint / 2013PaperAn Elastic Image Registration Approach for Wireless Capsule Endoscope LocalizationAuthorship / preprint / 2015PaperConfluence for classical logic through the distinction between values and computationsAuthorship / preprint / 2014