-
About the project Logics are prominent in creating understanding of different computation paradigms, and as frameworks for the theory of verification and databases. The area of descriptive complexity theory uses logics to obtain machine independent characterisations of complexity classes, and...
Enter an email to receive alerts for positions in South-Korea