Login / Signup

A game comonadic account of Courcelle and Feferman-Vaught-Mostowski theorems.

Tomás JaklDan MarsdenNihil Shah
Published in: CoRR (2022)
Keyphrases