Graph explorer

Research map

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

Anela Lolic
Map detail
Anela Lolic3 visible / 3 total nodes / 2 links

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

AuthorshipAuthorshipAnela LolicAAnela LolicResearcherFirst-Order Interpolation Derived from Propositional InterpolationWFirst-Order Interpolati...preprint / 2020Schematic Refutations of Formula SchemataWSchematic Refutations o...preprint / 2020
Person2 links

Anela Lolic

Researcher