Alexandre Madeira
Identifiers
No identifiers captured yet.
Papers (2)
- A Hybrid Dynamic Logic for Event/Data-based Systems cs.LO · 2019 · author #2
- Asymmetric combination of logics is functorial: A survey math.LO · 2016 · author #2
Mentions
No mention provenance yet.
Frequent Coauthors
- Alexander Knapp 1 shared papers
- Luis S. Barbosa 1 shared papers
- Manuel A. Martins 1 shared papers
- Renato Neves 1 shared papers
- Rolf Hennicker 1 shared papers