The power of non-determinism in higher-order implicit complexity: characterising complexity classes using non-deterministic cons-free programming

Cynthia Louisa Martina Kop*, Jakob Grue Simonsen

*Corresponding author af dette arbejde
3 Citationer (Scopus)

Fingeraftryk

Dyk ned i forskningsemnerne om 'The power of non-determinism in higher-order implicit complexity: characterising complexity classes using non-deterministic cons-free programming'. Sammen danner de et unikt fingeraftryk.

Keyphrases

Computer Science