Login / Signup
Manuel Hernández
Publication Activity (10 Years)
Years Active: 2001-2018
Publications (10 Years): 2
Top Topics
Fixpoint Semantics
Existentially Quantified
General Logic Programs
Abductive Reasoning
Top Venues
CoRR
J. Comput. Appl. Math.
</>
Publications
</>
Manuel Hernández
Deriving sorting algorithms via abductive logic program transformation.
CoRR
(2018)
Antonio J. Torregrosa
,
Alberto Broatch
,
Francisco José Arnau
,
Manuel Hernández
A non-linear quasi-3D model with Flux-Corrected-Transport for engine gas-exchange modelling.
J. Comput. Appl. Math.
291 (2016)
Manuel Hernández
,
David A. Rosenblueth
Disjunctive partial deduction of a right-to-left string-matching algorithm.
Inf. Process. Lett.
87 (5) (2003)
Manuel Hernández
,
David A. Rosenblueth
Development Reuse and the Logic Program Derivation of Two String-Matching Algorithms.
PPDP
(2001)