Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 108
Number of items: 108
  • Ponse, A., & van der Zwaag, M. B. (2006). An Introduction to Program and Thread Algebra. Lecture Notes in Computer Science, 3988, 445-458. https://doi.org/10.1007/11780342_46
  • Bergstra, J. A., & Ponse, A. (2006). Interface Groups for Analytic Execution Architectures. Programming Research Group, UvA.
  • Bergstra, J. A., & Ponse, A. (2006). Program Algebra with Repeat Instruction. Programming Research Group, UvA.
  • Bergstra, J. A., & Ponse, A. (2006). Projection Semantics for Rigid Loops. Programming Research Group, UvA.
  • Ponse, A., & van der Zwaag, M. B. (2006). Risk Assessment for One-Counter Threads. 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
  • Bergstra, J. A., Bethke, I., & Ponse, A. (2005). Decision Problems for Pushdown Threads. (PRG0502). Informatics Institute.
  • Bergstra, J. A., & Ponse, A. (2005). A bypass of Cohen's impossibility result. Lecture Notes in Computer Science, 3470, 1097-1106.
Page 6 of 11