Essays about: "Therese Abrahamsson"

Found 2 essays containing the words Therese Abrahamsson.

1. 1. Proof Editor for Natural Deduction

   University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

   Author : FREDDY ABRAHAMSSON; THERESE ANDERSSON; AXEL FORSMAN; LO RANTA; MICHAEL ÅKESSON; [2021-09-14]
   Keywords : Proof editor; Natural deduction; First order logic; PureScript;

   Abstract : In this thesis, we present Logan, a proof editor for constructing Fitch-style proofs in first-order logic. This proof editor is intended to be used by students who are taking a course in logic. READ MORE

3. 2. Cuamba Municipality, the capital of water? : A case study of the inclusion of female interests in water governance in Cuamba municipality, Mozambique.

   University essay from Linnéuniversitetet/Institutionen för samhällsstudier (SS)

   Author : Therese Abrahamsson; Elisa Gyllin; [2016]
   Keywords : Water governance; water source; women’s empowerment; female interests; four dimensions of water governance; Cuamba municipality; Mozambique.;

   Abstract : Abstract The purpose of this research is to examine if female interests have been included in different levels of water governance in Cuamba municipality, Mozambique in order to understand if gender equality and women empowerment is being addressed at the grassroots level. In Sub-Saharan Africa women generally have the responsibility of fetching water and are therefore directly affected by the quality and accessibility of water and sanitation services. READ MORE