Graph explorer

Research map

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

Ordered Counter-Abstraction
Map detail
Ordered Counter-Abstraction3 visible / 3 total nodes / 2 links

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

AuthorshipTopic signalOrdered Counter-AbstractionWOrdered Counter-Abstractionpreprint / 2012Ahmed RezineAAhmed RezineResearcherLogic in Computer ScienceTLogic in Computer Science2208 works
Paper2 links

Ordered Counter-Abstraction

preprint / 2012