Graph explorer

Research map

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

On Dependence Logic
Map detail
On Dependence Logic5 visible / 5 total nodes / 4 links

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

AuthorshipAuthorshipTopic signalTopic signalOn Dependence LogicWOn Dependence Logicpreprint / 2013Pietro GallianiAPietro GallianiResearcherJouko VäänänenAJouko VäänänenResearcherLogic in Computer ScienceTLogic in Computer Science2208 worksmath.LOTmath.LO1661 works
Paper4 links

On Dependence Logic

preprint / 2013