10 citations · 12 across the 11 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021
Separating LREC from LFP
Anuj Dawar, Felipe Ferreira Santos
LREC= is an extension of first-order logic with a logarithmic recursion operator. It was introduced by Grohe et al. and shown to capture the complexity class L over trees and inter…
cs.LO2021
On the relative power of algebraic approximations of graph isomorphism
Anuj Dawar, Danny Vagnozzi
We compare the capabilities of two approaches to approximating graph isomorphism using linear algebraic methods: the \emph{invertible map tests} (introduced by Dawar and Holm) and…