Graph explorer

Research map

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

Roy Mennicke
Map detail
Roy Mennicke3 visible / 3 total nodes / 2 links

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

AuthorshipAuthorshipRoy MennickeARoy MennickeResearcherPropositional Dynamic Logic with Converse and Repeat for Message-Passing SystemsWPropositional Dynamic L...preprint / 2013Tree structure compression with RePairWTree structure compress...preprint / 2010
Person2 links

Roy Mennicke

Researcher