Graph explorer

Research map

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

Theodore Andronikos
Map detail
Theodore Andronikos3 visible / 3 total nodes / 2 links

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

AuthorshipAuthorshipTheodore AndronikosATheodore AndronikosResearcherOn relating CTL to DatalogWOn relating CTL to Datalogpreprint / 2005DKPRG or how to succeed in the Kolkata Paise Restaurant gamevia TSPWDKPRG or how to succeed...preprint / 2021
Person2 links

Theodore Andronikos

Researcher