Graph explorer

Research map

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

Adjunctions for exceptions
Map detail
Adjunctions for exceptions7 visible / 7 total nodes / 6 links

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

AuthorshipAuthorshipAuthorshipAuthorshipTopic signalTopic signalAdjunctions for exceptionsWAdjunctions for exceptionspreprint / 2012Jean-Guillaume DumasAJean-Guillaume DumasResearcherDominique DuvalADominique DuvalResearcherLaurent FousseALaurent FousseResearcherJean-Claude ReynaudAJean-Claude ReynaudResearcherLogic in Computer ScienceTLogic in Computer Science2208 worksmath.CTTmath.CT1150 works
Paper6 links

Adjunctions for exceptions

preprint / 2012