Consistency Checking for Algebraic Delay PDEs in Sequence Rings

Published: Oct. 19, 2023, 5:40 p.m.

b'Wei Li speaking at the BIRS workshop 23w5039: Recursion Theory and its Applications (Oct 15 - Oct 20). Recorded by the Banff International Research Station for Mathematical Innovation and Discovery.'