A Theory of Non−determinism

समान संसाधन

• Purely Functional Non−determinism
  द्वारा: Hoare, C
  प्रकाशित: (2015)
• A Theory of Conjunction and Concurrency
  द्वारा: Hoare, C
  प्रकाशित: (1989)
• A Theory of Conjunction and Concurrency
  द्वारा: Hoare, C
  प्रकाशित: (1990)
• A Fragment of Graph Theory
  द्वारा: Hoare, C
  प्रकाशित: (1994)
• Category Theory
  द्वारा: Hoare, C
  प्रकाशित: (2015)