https://opendata.unex.es/recurso/ciencia-tecnologia/investigacion/publicaciones/Publicacion/2023-7965
Literals
- ou:urlOrcid
- bibo:doi
- ou:bibtex
- @article{Garcia-Alonso2023,title = {Automatic Generation of Efficient Oracles: The Less-Than Case},journal = {Ssrn},year = {2023},author = {Sanchez-Rivero, J. and Talav{\'a}n, D. and Garcia-Alonso, J. and Ruiz-Cort{\'e}s, A. and Murillo, J.M.}}
- dcterms:contributor
- Sanchez-Rivero, J.; Talaván, D.; Garcia-Alonso, J.; Ruiz-Cortés, A.; Murillo, J.M.
- ou:eid
- fabio:hasPublicationYear
- vivo:identifier
- bibo:issn
- dcterms:publisher
- ou:tipoPublicacion
- dcterms:title
- Automatic Generation of Efficient Oracles: The Less-Than Case
