Graph explorer

Research map

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

Short-circuit logic
Map detail
Short-circuit logic6 visible / 6 total nodes / 5 links

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

AuthorshipAuthorshipAuthorshipTopic signalTopic signalShort-circuit logicWShort-circuit logicpreprint / 2013Jan A. BergstraAJan A. BergstraResearcherA. PonseAA. PonseResearcherD. J. C. StaudtAD. J. C. StaudtResearcherLogic in Computer ScienceTLogic in Computer Science2208 worksmath.LOTmath.LO1661 works
Paper5 links

Short-circuit logic

preprint / 2013