Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | |||
seminars [2022-06-02] – [Computing with Infinite Objects via Coinductive Definitions] Martin Ziegler | seminars [2023-06-28] (current) – 2023 Martin Ziegler | ||
---|---|---|---|
Line 1: | Line 1: | ||
====== Seminar on Theoretical Computer Science, Logic, and Real Computation ====== | ====== Seminar on Theoretical Computer Science, Logic, and Real Computation ====== | ||
+ | * [[Seminars# | ||
* [[Seminars# | * [[Seminars# | ||
* [[Seminars# | * [[Seminars# | ||
Line 10: | Line 11: | ||
* [[Seminars# | * [[Seminars# | ||
- | ===== 2022 ===== | + | ===== 2023 ===== |
+ | * June 28, 19h KST | ||
+ | * Rakhman Ulzhalgas (KAIST) | ||
+ | |||
+ | "// | ||
+ | by Barbara Kempkes and Friedhelm Meyer auf der Heide (2012) | ||
+ | |||
+ | ===== 2022 ===== | ||
====Computing with Infinite Objects via Coinductive Definitions==== | ====Computing with Infinite Objects via Coinductive Definitions==== |