S\'ergio Marcelino
Identifiers
- name variant S\'ergio Marcelino 0.60 · backfill
Papers (3)
- Combining fragments of classical logic: When are interaction principles needed? cs.LO · 2018 · author #2
- Merging fragments of classical logic cs.LO · 2017 · author #2
- An algebraic generalization of Kripke structures math.LO · 2007 · author #1
Mentions
- 0704.1886 #1 · backfill · confidence 0.70 S\'ergio Marcelino
Frequent Coauthors
- Carlos Caleiro 2 shared papers
- Jo\~ao Marcos 2 shared papers
- Pedro Resende 1 shared papers