scientific article; zbMATH DE number 7311249
From MaRDI portal
Publication:5151000
zbMATH Open1456.03035MaRDI QIDQ5151000
Giovanna D'Agostino, Giacomo Lenzi
Publication date: 16 February 2021
Full work available at URL: http://eptcs.web.cse.unsw.edu.au/paper.cgi?GANDALF10.9
Title of this publication is not available (Why is that?)
Related Items (2)
On modal -calculus over reflexive symmetric graphs ⋮ On the \(\mu \)-calculus over transitive and finite transitive frames
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5151000)