Search for dissertations about: "undecidable"
Showing result 1 - 5 of 16 swedish dissertations containing the word undecidable.
-
1. The void : Urban wasteland as political space
Abstract : The rugged field and group of trees between housing estates or next to the railroad tracks, the left-over space of deserted industrial areas, the vacant demolition site of a central city block – they could all be termed ‘urban voids’. However, they are often anything but voids, in a literal sense, as they are not empty, or deserted. READ MORE
-
2. Impartial Games and Recursive Functions
Abstract : Interest in 2-player impartial games often concerns the famous theory of Sprague-Grundy. In this thesis we study other aspects, bridging some gaps between combinatorial number theory, computer science and combinatorial games. READ MORE
-
3. In the Company of Ghosts : Hauntology, Ethics, Digital Monsters
Abstract : This thesis explores French philosopher Jacques Derrida’s ’hauntology’ through the lens of digital monsters and feminist theory.Hauntology – a pun on ‘ontology’ and ‘haunting’ – offers an ethics based on responsibility towards that which cannot be said to fully exist, yet has an effect on our everyday lives nonetheless. READ MORE
-
4. Verification of Parameterized and Timed Systems : Undecidability Results and Efficient Methods
Abstract : Software is finding its way into an increasing range of devices (phones, medical equipment, cars...). READ MORE
-
5. Expressivity and Complexity of the Grammatical Framework
Abstract : This thesis investigates the expressive power and parsing complexity of the Grammatical Framework (GF), a formalism originally designed for displaying formal propositions and proofs in natural language. This is done by relating GF with two more well-known grammar formalisms; Generalized Context-Free Grammar (GCFG), best seen as a framework for describing various grammar formalisms; and Parallel Multiple Context-Free Grammar (PMCFG), an instance of GCFG. READ MORE