Daniel Talaván

affiliation not provided to SSRN

Learn more about SSRN Profiles

SCHOLARLY PAPERS

1

DOWNLOADS

61

TOTAL CITATIONS

0

Feedback

Scholarly Papers (1)

Sort by:

Actions:

View:
Selected
Original List
All Versions Hide All Versions
All Abstracts Hide All Abstracts

(Rank)

1.

Automatic Generation of Efficient Oracles: The Less-Than Case

Number of pages: 19 Posted: 06 Oct 2023

Javier Sanchez-Rivero, Daniel Talaván, Jose Garcia-Alonso, Antonio Ruiz-Cortés and Juan Manuel Murillo

University of Seville, affiliation not provided to SSRN, University of Extremadura, University of Seville - Escuela Técnica Superior de Ingeniería Informática(ETSI) and University of Extremadura

Downloads 61 (961,006)

Abstract:

Feedback

All content on this site: Copyright © 2026 Elsevier Inc., its licensors, and contributors. All rights are reserved, including those for text and data mining, AI training, and similar technologies. For all open access content, the relevant licensing terms apply.

We use cookies to help provide and enhance our service and tailor content.

To learn more, visit .