A Quantified Coalgebraic van Benthem Theorem.

Paul Wild, Lutz Schrder

Browse the full FOSSACS paper archive.