Graph explorer

Research map

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

Arithmetical meadows
Map detail
Arithmetical meadows5 visible / 5 total nodes / 4 links

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

AuthorshipAuthorshipTopic signalTopic signalArithmetical meadowsWArithmetical meadowspreprint / 2010J. A. BergstraAJ. A. BergstraResearcherC. A. MiddelburgAC. A. MiddelburgResearcherLogic in Computer ScienceTLogic in Computer Science2208 worksmath.RATmath.RA2176 works
Paper4 links

Arithmetical meadows

preprint / 2010