Scottish Informatics and Computer Science Alliance

Research Output 2001 2020

Filter
Doctoral Thesis
2013

Inductive-inductive definitions

Nordvall Forsberg, F., 2013

Research output: ThesisDoctoral Thesis

Inductive Definitions
Towers
Type Theory
Elimination
Axiomatization
2007
445 Downloads (Pure)

Supporting Members of Online Communities Through the Use of Visualisations

Mohamed, R., 20 May 2007, Glasgow: University of Strathclyde. 268 p.

Research output: ThesisDoctoral Thesis

Open Access
File
internet community
visualization
interaction
participation
taxonomy
2003

Generalized Patterns in Words and Permutations

Kitaev, S., 2003, Gothenburg, Sweden.

Research output: ThesisDoctoral Thesis