Index Browse   Bibliographies My selection

Search: in All Authors Titles Conferences Journals Keywords Comments   (word length ≥ 3)       Login

References of Ide Vennema   Order by:   Type | Year

<< InCollection >>

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

<< TechReport >>

2 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] 3 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]

Last modified: Thu October 16 2014 19:11:34