S\'ergio Marcelino

Identifiers

• name variant S\'ergio Marcelino 0.60 · backfill

Papers (3)

1. Combining fragments of classical logic: When are interaction principles needed? cs.LO · 2018 · author #2
2. Merging fragments of classical logic cs.LO · 2017 · author #2
3. 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