Azala

An example of goal-directed, calculational proof

Gorde:
Argitaratua izan da:Journal of Functional Programming vol. 34 (Dec 2024)
Egile nagusia: Backhouse, Roland Carl
Beste egile batzuk: Guttmann, Walter, Winter, Michael
Argitaratua:
Cambridge University Press
Gaiak:
Algorithms
Binary stars
Algebra
Equivalence
Sarrera elektronikoa:Citation/Abstract
Full Text - PDF
Etiketak: Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!