RT Book, Section
T1 MIZ-PR: A Theorem Prover for Polymorphic and Recursive Functions
A1 Leach Albert, Javier
A1 Nieva Soto, Susana
A2 Voronkov, Andrei
PB Springer Verlag
SN 3-540-55727-X
YR 1992
FD 1992
LK https://hdl.handle.net/20.500.14352/60589
UL https://hdl.handle.net/20.500.14352/60589
NO International Conference LPAR '92 St. Petersburg, Russia, July 15–20, 1992 Proceedings
DS Docta Complutense
RD 30 jun 2025