Graph explorer

Research map

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

Deduction as Reduction
Map detail
Deduction as Reduction4 visible / 4 total nodes / 3 links

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

AuthorshipTopic signalTopic signalDeduction as ReductionWDeduction as Reductionpreprint / 2010Dominique DuvalADominique DuvalResearcherLogic in Computer ScienceTLogic in Computer Science2208 worksmath.CTTmath.CT1150 works
Paper3 links

Deduction as Reduction

preprint / 2010