A meta-modal logic for bisimulations
by Alfredo Burrieza, Fernando Soler-Toscano and Antonio Yuste-Ginel
by Alfredo Burrieza, Fernando Soler-Toscano and Antonio Yuste-Ginel
Alfredo Burrieza
0000-0002-2033-6033
E-Mails 📧
Entries
2025
by Alfredo Burrieza, Fernando Soler-Toscano and Antonio Yuste-Ginel