Maria Joao Gouveia (ULISBOA)

Identifiers

No identifiers captured yet.

Papers (2)

1. Fixed-point elimination in the Intuitionistic Propositional Calculus (extended version) math.LO · 2018 · author #2
2. Fixed-point elimination in the intuitionistic propositional calculus cs.LO · 2016 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Silvio Ghilardi 2 shared papers
• AMU) 1 shared papers
• Luigi Santocanale (LIF 1 shared papers
• Luigi Santocanale (LIS) 1 shared papers