activity
20122026
most citedStabilizer Circuits, Quadratic Forms, and Computing Matrix Rank

5 citations · 5 across the 4 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2021

Multi-Structural Games and Number of Quantifiers

Ronald Fagin, Jonathan Lenchner, Kenneth W. Regan +1

We study multi-structural games, played on two sets and of structures. These games generalize Ehrenfeucht-Fraïssé games. Whereas Ehrenfeucht-Fraïssé gam…