Skip to main content

4 Result(s)

within M J Hidalgo Remove this filter

and

  1. Article

    62 Long-Chain Polyunsaturated Fatty Acids in Behavioural Disorders and Neurological Patients.

    The omega-3 and omega-6 long-chain polyunsaturated fatty acids (LCPUFA) are crucial to brain development and can be altered, as etiologic explanatory cofactor, both in neurological and psychiatric conditions.

    F Carratala, E Cortes, M J Hidalgo, M Moya in Pediatric Research (2005)

    Download PDF (131 KB)

  2. No Access

    Chapter and Conference Paper

    A Formal Proof of Dickson’s Lemma in ACL2

    Dickson’s Lemma is the main result needed to prove the termination of Buchberger’s algorithm for computing Gröbner basis of polynomial ideals. In this case study, we present a formal proof of Dickson’s Lemma u...

    F. J. Martın-Mateos, J. A. Alonso… in Logic for Programming, Artificial Intellig… (2003)

  3. No Access

    Chapter

    Termination in ACL2 Using Multiset Relations

    We present in this paper a case study of the use of the ACL2 system, describing an ACL2 formalization of multiset relations, and showing how multisets can be used to prove non-trivial termination properties. E...

    J. L. Ruiz-Reina, J. A. Alonso… in Thirty Five Years of Automating Mathematics (2003)

  4. No Access

    Chapter and Conference Paper

    Verification in ACL2 of a Generic Framework to Synthesize SAT-Provers

    We present in this paper an application of the ACL2 system to reason about propositional satisfiability provers. For that purpose, we present a framework where we define a generic transformation based SAT-prov...

    F. J. Martín-Mateos, J. A. Alonso… in Logic Based Program Synthesis and Transfor… (2003)