Speaker
Sofía Santiago-Fernández
University of Barcelona
Talks at this conference:
| Thu, 11:50 |
Rewrite normalization in tree rewriting calculi for strictly positive logics
Contributed |
Speaker
| Thu, 11:50 |
Rewrite normalization in tree rewriting calculi for strictly positive logics
Contributed |