Graph explorer

Research map

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

Unifying exact completions
Map detail
Unifying exact completions6 visible / 6 total nodes / 5 links

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

AuthorshipAuthorshipTopic signalTopic signalTopic signalUnifying exact completionsWUnifying exact completionspreprint / 2012Maria Emilia MaiettiAMaria Emilia MaiettiResearcherGiuseppe RosoliniAGiuseppe RosoliniResearcherLogic in Computer ScienceTLogic in Computer Science2208 worksmath.LOTmath.LO1661 worksmath.CTTmath.CT1150 works
Paper5 links

Unifying exact completions

preprint / 2012