You are here

Home ›

Publications

Export 30 results:
Filters: Type is Master's Thesis  [Clear All Filters]
2011
Fabian, D.: Applicative theories on tree ordinal numbers. (2011).
2010
Brugger, J.: Proof-theoretic aspects of weak König's Lemma. (2010).
Pulver, C.: Self-Referentiality in Contraction-free Fragments of Modal Logic S4. (2010).
Stolz, M.C.: Verification of Workflow Control-Flow Patterns with the SPIN Model Checker. (2010).
2009
Eberhard, S.: Aspekte beweisbar totaler Funktionen in applikativen Theorien. (2009).
Krähenbühl, J.: Justifying induction on modal mu-formulae. (2009).
Zumbrunnen, R.: Ontological Questions about Operational Set Theory. (2009).
Traber, R.: Proof-Systems for PLTL: Cycling Sequents and their Use in a Finitization for PLTL. (2009).
2008
Larrzabal, C.: Automatic Model Checking of UML models. (2008).
Bucheli, S.: Explicit Mathematics with Positive Existential Stratified Comprehension, Join and Uniform Monotone Inductive Definitions. (2008).
Goetschi, R.: Polytime Functions in Two-Sorted Bounded Arithmetic. (2008).
Liniger, S.: The Basic Feasible Functionals in Bounded Arithmetic. (2008).
2006
Kottmann, N.: Description Logic Query Answering with Relational Databases. (2006).
Krähenbühl, J.: Explicit Mathematics with Positive Existential Comprehension and Join. (2006).
2005
Spescha, D.: ALOE – A Graphical Editor for OWL Ontologies. (2005).
Dürig, M.: $\mathcal{PALC}$: Extending $\mathcal{ALC}$ ABoxes with Probabilities. (2005).
Sonderegger, D.: $\mathsf{PLTL}$ – Vollständigkeit und Modell-Konstruktion. (2005).
2004
Burri, T.: Weak König's Lemma and Extensional Equality. (2004).
2003
Schweizer, T.: Two Interpretations of $\mathsf{WKL}_0$ in Subsystems of $\mathsf{PA}$. (2003).
2002
Keller, P.: Information Flow – Logics for the (R)age of Information. (2002).
Kretz, M.: On the Treatment of Predicative Polymorphism in Theories of Explicit Mathematics. (2002).
2001
Steiner, D.: Proof-Theoretic Strength of $\mathsf{PRON}$ with Various Extensions. (2001).
Heissenbüttel, M.: Theories of Ordinal Strength $\varphi 2 0$ and $\varphi 2 \varepsilon_0$. (2001).
2000
Krebs, M.: Einige Aspekte der Modallogik $\mathsf{S5}_n$ mit Allgemeinwissen. (2000).
1999
Wirz, M.: Charakterisierungen kleiner Komplexitätsklassen mittels geschichteter N-Prädikate. (1999).

Pages