Graph explorer

Research map

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

AC-KBO Revisited
Map detail
AC-KBO Revisited6 visible / 6 total nodes / 5 links

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

AuthorshipAuthorshipAuthorshipAuthorshipTopic signalAC-KBO RevisitedWAC-KBO Revisitedpreprint / 2015Akihisa YamadaAAkihisa YamadaResearcherSarah WinklerASarah WinklerResearcherNao HirokawaANao HirokawaResearcherAart MiddeldorpAAart MiddeldorpResearcherLogic in Computer ScienceTLogic in Computer Science2208 works
Paper5 links

AC-KBO Revisited

preprint / 2015