Graph explorer

Research map

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

Deciding Conditional Termination
Map detail
Deciding Conditional Termination6 visible / 6 total nodes / 6 links

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

Related contextAuthorshipAuthorshipAuthorshipTopic signalTopic signalDeciding Conditional TerminationWDeciding Conditional Terminationpreprint / 2014Radu IosifARadu IosifResearcherFilip KonecnyAFilip KonecnyResearcherMarius BozgaAMarius BozgaResearcherLogic in Computer ScienceTLogic in Computer Science2208 worksFormal Languages and Automata TheoryTFormal Languages and Au...714 works
Paper5 links

Deciding Conditional Termination

preprint / 2014