Logic-Induced Bisimulations
From MaRDI portal
Publication:6347471
arXiv2008.09238MaRDI QIDQ6347471
Alexander Kurz, Helle Hvid Hansen, Jim de Groot
Publication date: 20 August 2020
This page was built for publication: Logic-Induced Bisimulations