Find link

language:

jump to random article

view article
Find link is a tool written by Edward Betts.

searching for Logic of graphs 1 found (22 total)

alternate case: logic of graphs

Queue number (2,706 words) [view diff] exact match in snippet view article find links to article

expansion, it is possible to check whether any sentence in the first-order logic of graphs is valid for a given graph of bounded queue number, in linear time