Antonio Yuste-Ginel

Identifiers

No identifiers captured yet.

Papers (1)

1. A meta-modal logic for bisimulations cs.LO · 2025 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Alfredo Burrieza 1 shared papers
• Fernando Soler-Toscano 1 shared papers