Remarks on ?program proving: Jumps and functions by M. Clint and C. A. R. Hoare?
Acta Informatica1976Vol. 6(3), pp. 317–318
Citations Over TimeTop 10% of 1976 papers
Related Papers
- → Prim�rzerlegung in Steinschen Algebren(1964)32 cited
- → �ber unirationale Scharen auf algebraischen Mannigfaltigkeiten(1966)4 cited
- → Produkttreue Klassen universeller Algebren(1969)1 cited
- Susquehanna Chorale Spring Concert "Roots and Wings"(2017)
- → Algebraic Set Operations, Multifunctions, and Indefinite Integrals(1996)