Graph explorer

Research map

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

Strategies in PRholog
Map detail
Strategies in PRholog7 visible / 7 total nodes / 9 links

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

Related contextRelated contextRelated contextAuthorshipAuthorshipAuthorshipTopic signalTopic signalTopic signalStrategies in PRhologWStrategies in PRhologpreprint / 2010Besik DunduaABesik DunduaResearcherTemur KutsiaATemur KutsiaResearcherMircea MarinAMircea MarinResearcherSoftware EngineeringTSoftware Engineering3620 worksLogic in Computer ScienceTLogic in Computer Science2208 worksProgramming LanguagesTProgramming Languages1239 works
Paper6 links

Strategies in PRholog

preprint / 2010