Logic-Induced Bisimulations.

Jim de Groot, Helle Hvid Hansen, Alexander Kurz

Browse the full AiML paper archive.