TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 2: Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Developmemnt (CCPSD) Books uri icon

  •  
  • Overview
  •  
  • Research
  •  
  • Identity
  •  
  • Additional Document Info
  •  
  • View All
  •  

abstract

  • Volume 2: Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software ... Note that for a unary clause (n = 0) the conditions 1., 2., 3. above reduce to 3. the postcondition for (6, aoPo) is satisfied. For n = 1 ...

publication date

  • 1991