Impacto
Downloads
Downloads per month over past year
Leach Albert, Javier and Nieva Soto, Susana (1992) MIZ-PR: A theorem prover for polymorphic and recursive functions. Lecture Notes in Computer Science, 624 . pp. 481-483. ISSN 0302-9743
Official URL: http://link.springer.com/chapter/10.1007%2FBFb0013094#
Item Type: | Article |
---|---|
Subjects: | Sciences > Computer science > Programming languages (Electronic computers) |
ID Code: | 17395 |
Deposited On: | 12 Dec 2012 09:19 |
Last Modified: | 12 Dec 2012 09:19 |
Origin of downloads
Repository Staff Only: item control page