Graph explorer

Research map

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

Amy Felty
Map detail
Amy Felty4 visible / 4 total nodes / 3 links

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

AuthorshipAuthorshipAuthorshipAmy FeltyAAmy FeltyResearcherHybrid: A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract SyntaxWHybrid: A Definitional ...preprint / 2010An Open Challenge Problem Repository for Systems Supporting BindersWAn Open Challenge Probl...preprint / 2015A Logical Framework for Systems BiologyWA Logical Framework for...preprint / 2014
Person3 links

Amy Felty

Researcher