Index Browse   Bibliographies My selection

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

References of Maarten de Rijke   Order by:   Type | Year

<< Article (Journal) >>

1 Patrick Blackburn and Maarten de Rijke. Combining Logics. Special Issue. In Notre Dame Journal of Formal Logic, Vol. 37, 1996.     google 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

<< InProceedings >>

4 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 5 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]

<< InCollection >>

6 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 >>

7 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] 8 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] 9 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] 10 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] 11 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] 12 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]

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