Friday
28
June
2024
Title:
On some temporal logics of trees
Venue:
Mathematics Division, Room 2002