Graph Reconstruction via MIS Queries - ITCS 2025 Presentation
23:55
Jonte Deakin Weak and Strong Bi Intuitionistic Logics from an Abstract Algebraic Logic Perspective
56:17
INQA Seminar: Ernesto Acosta, University of Granada - December 3 2024
1:04:40
GReTA seminar: The Topological Approach to Spatial Model Checking
21:10
Rui Xiong, short talk, "Motivic Lefschetz Theorem for Twisted Milnor Hypersurfaces "
24:27
Patrick Morris, Rainbow loose Hamilton cycles in Dirac hypergraphs
1:03:35
Entendendo GIT | (não é um tutorial!)
1:08:43
Verified Regular Expression Matching - Derivatives, NFAs and more
8:26