Algorithms and MSO logic on graphs with tree-like decomposition
최고관리자
2025-09-01
-
분야
콜로퀴움
-
날짜
20251105 ~ 20251105시간
16:00 ~ 17:00 -
장소
Math. Bldg #404
초청자
-
연사
Eunjung Kim
소속
KAIST
-
제목
Algorithms and MSO logic on graphs with tree-like decomposition
-
소개 및 안내사항
Title: Algorithms and MSO logic on graphs with tree-like decomposition
Speaker: Eunjung Kim (KAIST)
Abstract: TBA
.png)
