Concepedia
Statistics
Publications
1
Citations
10
H-Index
Active since
2022
Affiliations
Chalmers University of Technology(Current)
Carlos Tomé Cortiñas is an author at Chalmers University of Technology.
Publications per year
2022–2022
Normalization for fitch-style modal calculi
Nachiappan Valliappan, Fabian Ruch, Carlos Tomé Cortiñas · Proceedings of the ACM on Programming Languages · 2022 · 10 citations · Full text
1–1 of 1