Conference paper
Multi-Structural Games and Number of Quantifiers
Ronald Fagin, Jonathan Lenchner, et al.
LICS 2021
Paper
More Fun with L-Trominoes in Three and Higher Dimensions
Related
Ronald Fagin, Jonathan Lenchner, et al.
Logical Methods in Computer Science
Conference paper
Data center asset tracking using a mobile robot
John Nelson, Jonathan Connell, et al.
SIGMETRICS 2013
Arthur Befumo, Jonathan Lenchner
Mathematics Magazine