Index
Browse
Bibliographies
My selection
S
earch:
in
All
Authors
Titles
Conferences
Journals
Keywords
Comments
(word length ≥ 3)
Login
References of
Maarten
de Rijke
Order by:
Type
| Year
<<
1999
>>
1
Malte Gabsdil
and
Kristina Striegnitz
.
Classifying Scope Ambiguities
. In
Christof Monz
and
Maarten de Rijke
editors,
1st Workshop on Inference in Computational Semantics (ICoS-1), August 15
, Pages 125-131, Amsterdam, The Netherlands,
1999
.
[
Abstract
]
google
[
Annote
]
<<
1997
>>
2
Patrick Blackburn
and
Maarten de Rijke
.
Why Combine Logics?
In
Studia Logica. An International Journal for Symbolic Logic
, Vol. 59(1):5-27,
1997
.
google
Note:
but published later.
3
Patrick Blackburn
and
Maarten de Rijke
.
Zooming In, Zooming Out
. In
Journal of Logic, Language and Information
, Vol. 6:5-31,
1997
.
google
4
Patrick Blackburn
,
Maarten de Rijke
and
Ide Vennema
.
Relational Methods in Logic, Language and Information
. In
C. Brink
,
W. Kahl
and
G. Schmidt
editors,
Relational Methods in Computer Science
, Pages 211-225, Springer, Berlin,
1997
.
google
<<
1996
>>
5
Patrick Blackburn
and
Maarten de Rijke
.
Combining Logics. Special Issue
. In
Notre Dame Journal of Formal Logic
, Vol. 37,
1996
.
google
6
Patrick Blackburn
,
Jan Jaspars
and
Maarten de Rijke
.
Reasoning about Changing Information
. Technical report, CLAUS-Report 81,
Universität des Saarlandes
, Saarbrücken, September
1996
.
[
Abstract
]
google
[
Annote
]
<<
1995
>>
7
Patrick Blackburn
and
Maarten de Rijke
.
Why Combine Logics?
Technical report, CLAUS-Report 57,
Universität des Saarlandes
, Saarbrücken, April
1995
.
[
Abstract
]
google
[
Annote
]
8
Patrick Blackburn
,
Maarten de Rijke
and
Ide Vennema
.
Relational Methods in Logic, Language and Information
. Technical report, CLAUS-Report 65,
Universität des Saarlandes
, Saarbrücken, September
1995
.
[
Abstract
]
google
[
Annote
]
9
Patrick Blackburn
,
Wilfried Meyer-Viol
and
Maarten de Rijke
.
A Proof System for Finite Trees
. Technical report, CLAUS-Report 67,
Universität des Saarlandes
, Saarbrücken, October
1995
.
[
Abstract
]
google
[
Annote
]
10
Patrick Blackburn
,
Wilfried Meyer-Viol
and
Maarten de Rijke
.
A Proof System for Finite Trees
. In
H. Kleine Büning
editor,
Computer Science Logic. 9th International Workshop (CSL '95)
, (1092):86-105, Springer, Berlin,
1995
.
google
<<
1994
>>
11
Patrick Blackburn
and
Maarten de Rijke
.
Zooming In, Zooming Out
. Technical report, CLAUS-Report 48,
Universität des Saarlandes
, Saarbrücken, November
1994
.
[
Abstract
]
google
[
Annote
]
12
Patrick Blackburn
,
Maarten de Rijke
and
Ide Vennema
.
The Algebra of Modal Logic
. Technical report, CLAUS-Report 47,
Universität des Saarlandes
, Saarbrücken, November
1994
.
[
Abstract
]
google
[
Annote
]
Last modified: Thu October 16 2014 19:11:34