Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 57,955
Number of items: 57,955
  • Bergstra, J. A., & Burgess, M. (2006). Local and Global Trust Based on the Concept of Promises. Programming Research Group, UvA.
  • ten Cate, B. D., Conradie, W., Marx, M. J., & Venema, Y. (2006). Definitorially Complete Description Logics. In P. Doherty, J. Mylopoulos, & C. Welty (Eds.), Proceedings of KR 2006 (pp. 79-89). AAAI Press.
  • Ponse, A., & van der Zwaag, M. B. (2006). Risk Assessment for One-Counter Threads. Programming Research Group, UvA.
  • Diertens, B. (2006). Software (Re-)Engineering with PSF II: from architecture to implementation. Programming Research Group, UvA.
  • Ponse, A., & van der Zwaag, M. B. (2006). A generalization of ACP using Belnaps logic: Extended abstract. Electronic Notes in Theoretical Computer Science, 162, 287-293.
  • Bergstra, J. A., Bethke, I., & Ponse, A. (2006). Decision problems for pushdown threads. The Bulletin of Symbolic Logic, 12, 311-312.
  • Bergstra, J. A., & Ponse, A. (2006). A bypass of Cohen's impossibility result: Extended version (in html). VX Heaven, Library. http://vx.netlux.org/lib/mjb00.html
  • Anjewierden, A., & Efimova, L. (2006). Understanding weblog communities through digital traces: a framework, a tool and an example. In R. Meersman, Z. Tari, & P. Herrero (Eds.), On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops: OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET, OnToContent, ORM, PerSys, OTM Academy Doctoral Consortium, RDDS, SWWS, and SeBGIS 2006, Montpellier, France, October 29-November 3, 2006 : proceedings (Vol. 1, pp. 279-289). (Lecture Notes in Computer Science; Vol. 4277). Springer. https://doi.org/10.1007/11915034_51
  • Anjewierden, A. A., Jansweijer, W. N. H., & Wielinga, B. J. (2006). Ontology developing process for Basell. University of Amsterdam.
  • Blackburn, P., & ten Cate, B. D. (2006). Pure extensions, proof rules, and hybrid axiomatics. Studia Logica, 84, 277-322.
Page 3645 of 5796