Logic and Bisimulation for Guarded Teams
945 views · Published 10 November 2016 · 35:19 · Indexed 20 September 2026
Channel: Simons Institute for the Theory of Computing · 2016 · Education
Erich Grädel, RWTH Aachen University
https://simons.berkeley.edu/talks/erich-gradel-11-10-2016
{Symmetry, Logic, Computation}
More from this channel
-
29:08
An Isomorphism Between Parameterized Complexity and Classical Complexity, for both Time and Space
-
34:02
Modelling Gene Expression Dynamics with Gaussian Processes
-
37:26
Telomere Length, Nature and Nurture
-
44:30
Sum of Squares SDP Relaxations on Random Tensors
-
1:05:05
Beyond Worst-Case Analysis II
-
1:04:11
Logic and Databases II
-
35:26
Operations on Languages and Codensity Monads
-
38:58
Automata Learning -- Infinite Alphabets and Application to Verification