MIZ-PR: A Theorem Prover for Polymorphic and Recursive Functions
| dc.book.title | LPAR '92 Proceedings of the International Conference on Logic Programming and Automated Reasoning | |
| dc.contributor.author | Leach Albert, Javier | |
| dc.contributor.author | Nieva Soto, Susana | |
| dc.contributor.editor | Voronkov, Andrei | |
| dc.date.accessioned | 2023-06-20T21:03:51Z | |
| dc.date.available | 2023-06-20T21:03:51Z | |
| dc.date.issued | 1992 | |
| dc.description | International Conference LPAR '92 St. Petersburg, Russia, July 15–20, 1992 Proceedings | |
| dc.description.department | Sección Deptal. de Sistemas Informáticos y Computación | |
| dc.description.faculty | Fac. de Ciencias Matemáticas | |
| dc.description.refereed | TRUE | |
| dc.description.status | pub | |
| dc.eprint.id | https://eprints.ucm.es/id/eprint/17328 | |
| dc.identifier.isbn | 3-540-55727-X | |
| dc.identifier.officialurl | http://dl.acm.org/citation.cfm?id=758070 | |
| dc.identifier.officialurl | http://link.springer.com/chapter/10.1007%2FBFb0013094# | |
| dc.identifier.relatedurl | http://dl.acm.org/dl.cfm?CFID=219986691&CFTOKEN=59343438 | |
| dc.identifier.uri | https://hdl.handle.net/20.500.14352/60589 | |
| dc.issue.number | 624 | |
| dc.page.final | 483 | |
| dc.page.initial | 481 | |
| dc.page.total | 510 | |
| dc.publication.place | New York | |
| dc.publisher | Springer Verlag | |
| dc.relation.ispartofseries | Lecture Notes in Computer Science | |
| dc.rights.accessRights | metadata only access | |
| dc.subject.cdu | 004.8 | |
| dc.subject.ucm | Inteligencia artificial (Informática) | |
| dc.subject.ucm | Lenguajes de programación | |
| dc.subject.unesco | 1203.04 Inteligencia Artificial | |
| dc.title | MIZ-PR: A Theorem Prover for Polymorphic and Recursive Functions | en |
| dc.type | book part | |
| dcterms.references | Hanus, M. Horn Clause Programs with Polymorphic Types: Semantics and Resolution. TAPSOFT'89, LNCS 352, 225–240, 1989. Manna, Z. Mathematical Theory of Computation. Mc Graw-Hill, 1974. Nieva, S. The Reasoner of MIZAR/LOG. Computerized Logic Teaching Bulletin, N. 2(1), 22–35, 1989. Nieva, S. Una Lógica Computacional con Polimorfismo y Recursión y un Sistema de Deducción Automática basado en ella. Phd. Thesis, Fac. Matemáticas UCM, 1991. Paulson, L.C. Logic and Computation. Cambridge Univ. Press, 1987. Prazmowski, K. and Rudnicki, P. MIZAR-MSE Primer and User Guide. Tr 88-11, Univ. of Alberta, Dpt. of Comp. Sci. Edmonton, 1988. Schmidt, D.A. Denotational Semantics. A Methodology for Language Development. Wm. C. Brown Publishers, 1986. Scott, D.S. Domains for Denotational Semantics. ICALP'82, LNCS 140, 577–613, 1982. Trybulec, A. and Blair, H. Computer Aided Reasoning. Logic of Programs LNCS 193, 406–412, 1985. | |
| dspace.entity.type | Publication | |
| relation.isAuthorOfPublication | 700e0e32-6c94-43f9-9c48-4c42ef20957b | |
| relation.isAuthorOfPublication | 21132b4a-0809-4135-9a71-0b771813a8e9 | |
| relation.isAuthorOfPublication.latestForDiscovery | 700e0e32-6c94-43f9-9c48-4c42ef20957b |