Search results

Filter results

  • Full text

  • Document type

  • Publication year

  • Organisation

Results: 218,422
Number of items: 218,422
  • van Benthem, J. F. A. K. (1998). Process Operations in extended dynamic logic. In LICS IEEE Publications.
  • van Benthem, J. F. A. K. (1998). Programming operatiosn that are safe for bisimulation. Studia Logica, 60(2), 311-330.
  • van Benthem, J. F. A. K. (1998). Proof Theory and Dynamics in natural language. In H.-J. Ohlbach, & U. Reyle (Eds.), Festschrift for Dov Gabbay (pp. 37-47). (-; No. -). Kluwer.
  • van Benthem, J. F. A. K. (1998). Shifting contexts and changing assertions. In R. van Glabbeek, A. Aliseda Llera, & D. Wersterstahl (Eds.), Computing natural language (pp. 51-65). (-; No. -). CSLI Publications.
  • van Benthem, J. F. A. K. (1998). Temporal patterns and modal structure. (CT-98; No. 03). WINS (oud WINS).
  • van der Wusten, H. H., & Gritsai, O. (1998). Globalization and Geography. Special Issue. GeoJournal, 45(1-2), 1-149.
  • van der Wusten, H. H., & Gritsai, O. (1998). Editorial, Globalization and Geography. GeoJournal, 45(1-2), 1-3.
  • van Benthem, J. F. A. K. (1998). Wider still and wider: resetting the bounds of logic. (LP-97; No. 08). WINS (oud WINS).
  • Barnard, M., & van der Werff, A. (1998). Dit is het einde niet: Profetie met het oog op het jaar 2000. Kok.
  • Barnard, M. (1998). Een bijbelvertaling waar muziek in zit? Gedachten over de nieuwe bijbelvertaling. Eredienstvaardig, 14(3), 78-80.
Page 18640 of 21843