Carlos Tom\'e Corti\~nas

Identifiers

• name variant Carlos Tom\'e Corti\~nas 0.60 · backfill

Papers (1)

1. Normalization for Fitch-Style Modal Calculi cs.LO · 2022 · author #3

Mentions

• 2207.12807 #3 · arxiv_oai · confidence 0.70 Carlos Tom\'e Corti\~nas

Frequent Coauthors

• Fabian Ruch 1 shared papers
• Nachiappan Valliappan 1 shared papers