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
7 links
Arnaud Carayol
Researcher
PaperSaturation algorithms for model-checking pushdown systemsAuthorship / preprint / 2014PaperThe FC-rank of a context-free languageAuthorship / preprint / 2012PaperCounting Branches in Trees Using GamesAuthorship / preprint / 2015PaperAn analysis of the equational properties of the well-founded fixed pointAuthorship / preprint / 2015PaperHigher-Order Recursion Schemes and Collapsible Pushdown Automata: Logical PropertiesAuthorship / preprint / 2021PaperProceedings Workshop on Fixed Points in Computer ScienceAuthorship / preprint / 2013PaperAlgebraic Synchronization Trees and ProcessesAuthorship / preprint / 2016