Index
Browse
Bibliographies
My selection
S
earch:
in
All
Authors
Titles
Conferences
Journals
Keywords
Comments
(word length ≥ 3)
Login
References of
Ide
Vennema
Order by:
Type
| Year
<<
1997
>>
1
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
<<
1995
>>
2
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
]
<<
1994
>>
3
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