Search for dissertations about: "Undecidability"

Showing result 1 - 5 of 7 swedish dissertations containing the word Undecidability.

2. 1. Model Checking Parameterized Timed Systems

   Author : Pritha Mahata; Parosh Abdulla; Jean-Francois Raskin; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Model Checking; Parameterized Systems; Undecidability; Timed Petri Nets; Timed Networks; Computer science; Datavetenskap;

   Abstract : In recent years, there has been much advancement in the area of verification of infinite-state systems. A system can have an infinite state-space due to unbounded data structures such as counters, clocks, stacks, queues, etc. It may also be infinite-state due to parameterization, i.e. READ MORE

4. 2. Verification of Parameterized and Timed Systems : Undecidability Results and Efficient Methods

   Author : Johann Deneux; Parosh Abdulla; Eugene Asarin; Uppsala universitet; []
   Keywords : Parameterized Systems; Timed Systems; Symbolic Model Checking; Forward Reachability; Acceleration; Robust Languages; Language Universality; Automata Minimization; Bisimulation;

   Abstract : Software is finding its way into an increasing range of devices (phones, medical equipment, cars...). READ MORE

5. 3. Mobile Performances : A Philosophical Account of Linguistic Undecidability as Possibility and Problem in the Theology of Religion

   Author : Patrik Fridlund; Tros- och livsåskådningsvetenskap; []
   Keywords : HUMANIORA; HUMANITIES; O?Leary; Netland; Knitter; Derrida; Theology of religion; Religious diversity; Philosophy of language; Linguistic Mobility Stability; Evaluation of religions; Interreligious relations; Ric?ur; Religious Studies and Theology; Religion och teologi;

   Abstract : How to judge religions other than one's own when the means are lacking due to linguistic mobility? In the present thesis this question is mainly analysed in a Christian setting through a reading of the theologians Paul Knitter and Harold Netland. It is, however, claimed that the same question could be asked in other religious settings, also with regard to one's own tradition, and could be treated as a general question?how to judge, evaluate, and criticise religion if the means to do that are lacking? The thesis starts by maintaining that the question of linguistic mobility/stability is an issue in theology. READ MORE

6. 4. On Simultaneous Rigid E-Unification

   Author : Margus Veanes; Andrei Voronkov; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Datalogi; Computing Science;

   Abstract : Automated theorem proving methods in classical logic with equality that are based on the Herbrand theorem, reduce to a problem called Simultaneous Rigid E-Unification, or SREU for short. Recent developments show that SREU has also close connections with intuitionistic logic with equality, second-order unification, some combinatorial problems and finite tree automata. READ MORE

7. 5. Radical democracy redux : politics and subjectivity beyond Habermas and Mouffe

   Author : Katarzyna Jezierska; Mats Lindberg; Mikael Carleheden; Aletta Norval; Örebro universitet; []
   Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; radicaldemocracy; JürgenHabermas; ChantalMouffe; deliberative; agonistic; consensus; conflict; antagonism; agonism; subjectivity; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; Political science; Statsvetenskap; Political Science; Statskunskap;

   Abstract : This thesis investigates two contemporary theories of radical democracy, Jürgen Habermas’s deliberative and Chantal Mouffe’s agonistic democracy. By bringing the two scholars together and constructing a debate between them, their respective strengths and weaknesses are highlighted and the similarities and differences are pointed out. READ MORE