Universidad Complutense de Madrid
E-Prints Complutense

MIZ-PR: A theorem prover for polymorphic and recursive functions

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#


URLURL Type
http://link.springer.com/Publisher




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