Speaker
Joost Joosten
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 |