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
12 links
Paul Tarau
Researcher
PaperAbductive Reasoning in Intuitionistic Propositional Logic via Theorem SynthesisAuthorship / preprint / 2022PaperA Gaze into the Internal Logic of Graph Neural Networks, with LogicAuthorship / preprint / 2022PaperComputing with Hereditarily Finite SequencesAuthorship / preprint / 2011PaperBijective Term EncodingsAuthorship / preprint / 2011PaperDeriving Theorems in Implicational Linear Logic, DeclarativelyAuthorship / preprint / 2020PaperA Unified Formal Description of Arithmetic and Set Theoretical Data TypesAuthorship / preprint / 2010PaperThe BinProlog Experience: Architecture and Implementation Choices for Continuation Passing Prolog and First-Class Logic EnginesAuthorship / preprint / 2011PaperTree-based Arithmetic and Compressed Representations of Giant NumbersAuthorship / preprint / 2013