Online Workshop: Resources and Co-Resources: A Junction between Semantics and Descriptive Complexity
Created: | 2020-03-31 14:20 |
---|---|
Institution: | Department of Computer Science and Technology |
Description: | A selection of contributed talks to the online workshop, Resources and Co-Resources: A Junction between Semantics and Descriptive Complexity, held on Thursday March 26th 2020. Organised by Prof. Anuj Dawar and Adam Ó Conghaile. |
Media items
This collection contains 5 media items.
Media items
Game comonads and generalised quantifiers -- Adam Ó Conghaile
Collection: Online Workshop: Resources and Co-Resources: A Junction between Semantics and Descriptive Complexity
Institution: Department of Computer Science and Technology
Created: Wed 1 Apr 2020
Guards, Structure and Power -- Dan Marsden
Collection: Online Workshop: Resources and Co-Resources: A Junction between Semantics and Descriptive Complexity
Institution: Department of Computer Science and Technology
Created: Wed 1 Apr 2020
On games and models -- Glynn Winskel
Collection: Online Workshop: Resources and Co-Resources: A Junction between Semantics and Descriptive Complexity
Institution: Department of Computer Science and Technology
Created: Wed 1 Apr 2020
Path-width and restricting conjunction in k-variable logic -- Nihil Shah
Collection: Online Workshop: Resources and Co-Resources: A Junction between Semantics and Descriptive Complexity
Institution: Department of Computer Science and Technology
Created: Wed 1 Apr 2020
Quantifiers and measures -- Tomáš Jakl & Luca Reggio
Collection: Online Workshop: Resources and Co-Resources: A Junction between Semantics and Descriptive Complexity
Institution: Department of Computer Science and Technology
Created: Wed 1 Apr 2020