Teórica #14

21 abril 2022, 17:00 • Carlos Caleiro

Funções construtíveis no espaço e no tempo. Teoremas de hierarquia espacial e temporal, aplicação à separação de classes, nomeadamente P e EXPTIME.