Jump to Navigation
LTG
Logic and Theory Group
You are here
Home
›
Publications
Export 30 results:
BibTex
RTF
Tagged
MARC
XML
RIS
Filters:
Type
is
Master's Thesis
[Clear All Filters]
2011
Fabian, D.
:
Applicative theories on tree ordinal numbers
. (2011).
Google Scholar
BibTex
RTF
Tagged
MARC
XML
RIS
2010
Brugger, J.
:
Proof-theoretic aspects of weak König's Lemma
. (2010).
Google Scholar
BibTex
RTF
Tagged
MARC
XML
RIS
Pulver, C.
:
Self-Referentiality in Contraction-free Fragments of Modal Logic S4
. (2010).
Google Scholar
BibTex
RTF
Tagged
MARC
XML
RIS
Stolz, M.C.
:
Verification of Workflow Control-Flow Patterns with the SPIN Model Checker
. (2010).
Google Scholar
BibTex
RTF
Tagged
MARC
XML
RIS
2009
Eberhard, S.
:
Aspekte beweisbar totaler Funktionen in applikativen Theorien
. (2009).
Google Scholar
BibTex
RTF
Tagged
MARC
XML
RIS
Krähenbühl, J.
:
Justifying induction on modal mu-formulae
. (2009).
Google Scholar
BibTex
RTF
Tagged
MARC
XML
RIS
Zumbrunnen, R.
:
Ontological Questions about Operational Set Theory
. (2009).
Google Scholar
BibTex
RTF
Tagged
MARC
XML
RIS
Traber, R.
:
Proof-Systems for PLTL: Cycling Sequents and their Use in a Finitization for PLTL
. (2009).
Google Scholar
BibTex
RTF
Tagged
MARC
XML
RIS
2008
Larrzabal, C.
:
Automatic Model Checking of UML models
. (2008).
Google Scholar
BibTex
RTF
Tagged
MARC
XML
RIS
Bucheli, S.
:
Explicit Mathematics with Positive Existential Stratified Comprehension, Join and Uniform Monotone Inductive Definitions
. (2008).
Google Scholar
BibTex
RTF
Tagged
MARC
XML
RIS
Goetschi, R.
:
Polytime Functions in Two-Sorted Bounded Arithmetic
. (2008).
Google Scholar
BibTex
RTF
Tagged
MARC
XML
RIS
Liniger, S.
:
The Basic Feasible Functionals in Bounded Arithmetic
. (2008).
Google Scholar
BibTex
RTF
Tagged
MARC
XML
RIS
2006
Kottmann, N.
:
Description Logic Query Answering with Relational Databases
. (2006).
Google Scholar
BibTex
RTF
Tagged
MARC
XML
RIS
Krähenbühl, J.
:
Explicit Mathematics with Positive Existential Comprehension and Join
. (2006).
Google Scholar
BibTex
RTF
Tagged
MARC
XML
RIS
2005
Spescha, D.
:
ALOE – A Graphical Editor for OWL Ontologies
. (2005).
Google Scholar
BibTex
RTF
Tagged
MARC
XML
RIS
Dürig, M.
:
$\mathcal{PALC}$: Extending $\mathcal{ALC}$ ABoxes with Probabilities
. (2005).
Google Scholar
BibTex
RTF
Tagged
MARC
XML
RIS
Sonderegger, D.
:
$\mathsf{PLTL}$ – Vollständigkeit und Modell-Konstruktion
. (2005).
Google Scholar
BibTex
RTF
Tagged
MARC
XML
RIS
2004
Burri, T.
:
Weak König's Lemma and Extensional Equality
. (2004).
Google Scholar
BibTex
RTF
Tagged
MARC
XML
RIS
2003
Schweizer, T.
:
Two Interpretations of $\mathsf{WKL}_0$ in Subsystems of $\mathsf{PA}$
. (2003).
Google Scholar
BibTex
RTF
Tagged
MARC
XML
RIS
2002
Keller, P.
:
Information Flow – Logics for the (R)age of Information
. (2002).
Google Scholar
BibTex
RTF
Tagged
MARC
XML
RIS
Kretz, M.
:
On the Treatment of Predicative Polymorphism in Theories of Explicit Mathematics
. (2002).
Google Scholar
BibTex
RTF
Tagged
MARC
XML
RIS
2001
Steiner, D.
:
Proof-Theoretic Strength of $\mathsf{PRON}$ with Various Extensions
. (2001).
Google Scholar
BibTex
RTF
Tagged
MARC
XML
RIS
Heissenbüttel, M.
:
Theories of Ordinal Strength $\varphi 2 0$ and $\varphi 2 \varepsilon_0$
. (2001).
Google Scholar
BibTex
RTF
Tagged
MARC
XML
RIS
2000
Krebs, M.
:
Einige Aspekte der Modallogik $\mathsf{S5}_n$ mit Allgemeinwissen
. (2000).
Google Scholar
BibTex
RTF
Tagged
MARC
XML
RIS
1999
Wirz, M.
:
Charakterisierungen kleiner Komplexitätsklassen mittels geschichteter N-Prädikate
. (1999).
Google Scholar
BibTex
RTF
Tagged
MARC
XML
RIS
Pages
1
2
next ›
last »
Home
Contact
Staff
Research Topics
Lectures
Calendar
Publications
Journal Articles
Conference Papers
Habilitation Theses
PhD Theses
Master's Theses
Technical Reports
Authors
Upcoming Events
ABM Spring 2018
Thu, 26. Apr. 2018 - 09:30
to Fri, 27. Apr. 2018 - 12:00
Talk by Klaus Mainzer
Thu, 03. May. 2018
from 10:15 to 11:30