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
6 links
Iliano Cervesato
Researcher
PaperAn Improved Proof-Theoretic Compilation of Logic ProgramsAuthorship / preprint / 2012PaperTowards Meta-Reasoning in the Concurrent Logical Framework CLFAuthorship / preprint / 2013PaperProceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and PracticeAuthorship / preprint / 2015PaperProceedings First International Workshop on FocusingAuthorship / preprint / 2015PaperConstraint Handling Rules with Multiset Comprehension PatternsAuthorship / preprint / 2014PaperProceedings Third International Workshop on LinearityAuthorship / preprint / 2015