Graph explorer

Research map

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

Arnon Avron
Map detail
Arnon Avron4 visible / 4 total nodes / 3 links

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

AuthorshipAuthorshipAuthorshipArnon AvronAArnon AvronResearcherA Logical Framework for Set TheoriesWA Logical Framework for...preprint / 2012Canonical calculi with (n,k)-ary quantifiersWCanonical calculi with ...preprint / 2008On Constructive Connectives and SystemsWOn Constructive Connect...preprint / 2010
Person3 links

Arnon Avron

Researcher