Search Repository
Advanced Search
Home
Browse
Communities
& Collections
Issue Date
Names
Title
Subject
Classification
Sign on to:
Receive email
updates
My Repository
authorized users
Help
About DSpace
Library Home
University Home
Research at St Andrews
Research@StAndrews:FullText
>
Browsing by Names Dyckhoff, Roy, 1948-
Jump to:
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
or enter first few letters:
Sort by:
title
issue date
submit date
In order:
Ascending
Descending
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/Record:
All
1
5
10
15
20
25
30
35
40
45
50
Showing results 1 to 3 of 3
Issue Date
Title
Author(s)
Type
8-Dec-2006
Normalisation & equivalence in proof theory & type theory
Lengrand, Stéphane J. E.
Thesis
4-Jun-2010
On the relationship between hypersequent calculi and labelled sequent calculi for intermediate logics with geometric Kripke semantics
Rothenberg, Robert
Thesis
Jun-2010
Tools and techniques for formalising structural proof theory
Chapman, Peter
Thesis
Showing results 1 to 3 of 3
DSpace Software
Copyright © 2002-2012
Duraspace
-
Feedback
For help contact:
Digital-Repository@st-andrews.ac.uk
| Copyright for this page belongs to St Andrews University Library |
Terms and Conditions
(Cookies)
