2024-11-10

AGV 2.1 -- Büchi automata (Preliminaries)

Notes / UdS

2024-11-08

AGV 1.3 -- The Logic-Automata Connection

Notes / UdS

2024-11-07

AGV 1.2 -- Synthesis

Notes / UdS

2024-11-06

AGV 1.1 -- Model Checking

Notes / UdS

2024-11-05

Leetcode SQL 50 -- 197. Rising Temperature

LeetCode / SQL_50

2024-11-04

Leetcode SQL 50 -- 1581. Customer Who Visited but Did Not Make Any Transactions

LeetCode / SQL_50

2024-11-03

Leetcode SQL 50 -- 1068. Product Sales Analysis I

LeetCode / SQL_50

2024-11-02

Leetcode SQL 50 -- 1517. Find Users With Valid E-Mails

LeetCode / SQL_50

2024-11-01

Leetcode SQL 50 -- 1327. List the Products Ordered in a Period

LeetCode / SQL_50