Registro de Citas

Cita APA

Ciccalè, M., Jurjo-Rivas, D., Morales, J. F., López-García, P., & Hermenegildo, M. (2025). Hiord#: An Approach to the Specification and Verification of Higher-Order (C)LP Programs.

Citación estilo Chicago

Ciccalè, Marco, Daniel Jurjo-Rivas, José F. Morales, Pedro López-García, y Manuel Hermenegildo. Hiord#: An Approach to the Specification and Verification of Higher-Order (C)LP Programs. 2025.

Cita MLA

Ciccalè, Marco, et al. Hiord#: An Approach to the Specification and Verification of Higher-Order (C)LP Programs. 2025.

Precaución: Estas citas no son 100% exactas.

Warning: fopen(/tmp/vufind_sessions/sess_2j3lf7uvcaff6na7un6rbaisjt): failed to open stream: No space left on device in /usr/local/vufind/module/VuFind/src/VuFind/Session/File.php on line 153
Cannot write session to /tmp/vufind_sessions/sess_2j3lf7uvcaff6na7un6rbaisjt
Warning: session_write_close(): Failed to write session data using user defined save handler. (session.save_path: /var/lib/php/session) in /usr/local/vufind/vendor/zendframework/zend-session/src/SessionManager.php on line 234