Alexandre Madeira

Identifiers

No identifiers captured yet.

Papers (2)

1. A Hybrid Dynamic Logic for Event/Data-based Systems cs.LO · 2019 · author #2
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