Speaker
Lide Grotenhuis
University of Amsterdam
Talks at this conference:
| Fri, 15:00 |
Matching (co)patterns with cyclic proofs
Contributed |
Speaker
| Fri, 15:00 |
Matching (co)patterns with cyclic proofs
Contributed |