Find link

language:

jump to random article

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

searching for Two-variable logic 1 found (6 total)

alternate case: two-variable logic

Mikołaj Bojańczyk (285 words) [view diff] case mismatch in snippet view article find links to article

Muscholl, Anca; Schwentick, Thomas; Segoufin, Luc (2009-05-01). "Two-variable Logic on Data Trees and XML Reasoning". Journal of the ACM. 56 (3): 13:1–13:48