Graph explorer

Research map

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

Abstract rewriting internalized
Map detail
Abstract rewriting internalized4 visible / 4 total nodes / 3 links

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

AuthorshipTopic signalTopic signalAbstract rewriting internalizedWAbstract rewriting internalizedpreprint / 2020Maxime LucasAMaxime LucasResearcherDiscrete MathematicsTDiscrete Mathematics1775 worksmath.CTTmath.CT1150 works
Paper3 links

Abstract rewriting internalized

preprint / 2020