Search results for: Muñoz, César A., 1968-

Showing 1 - 7 results of 7 Refine Results
  1. 1

    Structural embeddings : mechanization with method

    Authors: Muñoz, César A., 1968-
    Published: National Aeronautics and Space Administration, Langley Research Center ; [National Technical Information Service, distributor], 1999
    Physical Description: 1 volume.
    Government Document Microfilm Book
  2. 2

    Dependent types and explicit substitutions

    Authors: Muñoz, César A., 1968-
    Published: Institute for Computer Applications in Science and Engineering, NASA Langley Research Center ; National Technical Information Service, distributor, 1999
    Physical Description: 1 volume.
    Government Document Microfilm Book
  3. 3

    Proof-term synthesis on dependent-type systems via explicit substitutions

    Authors: Muñoz, César A., 1968-
    Published: Institute for Computer Applications in Science and Engineering, NASA Langley Research Center ; National Technical Information Service, distributor, 1999
    Physical Description: 1 volume.
    Government Document Microfilm Book
  4. 4

    A formally-verified decision procedure for univariate polynomial computation based on Sturm's Theorem

    Authors: Narkawicz, Anthony Joseph, 1982-, Muñoz, César A., 1968-
    Published: National Aeronautics and Space Administration, Langley Research Center, 2014
    Physical Description: 1 online resource (26 pages).
    Connect to online resource - All users (Federal Depository Library Program Persistant URL)
    Government Document Electronic eBook
  5. 5

    Improving automated strategies for univariate quantifier elimination

    Authors: Cordwell, Katherine, Muñoz, César A., 1968-, Dulte, Aaron M.
    Published: National Aeronautics and Space Administration, Langley Research Center, 2021
    Physical Description: 1 online resource (22 pages) : illustration.
    Connect to online resource - All users (Federal Depository Library Program Persistant URL)
    Government Document Electronic eBook
  6. 6

    On the formal verification of conflict detection algorithims

    Published: National Aeronautics and Space Administration, Langley Research Center ; Available from NASA Center for AeroSpace Information (CASI), 2001
    Other Authors: “…Muñoz, César A., 1968-…”
    Physical Description: 1 volume., Also available via Internet form the NASA web site. Address as of 10/3/02: http://techreports.larc.nasa.gov/ltrs/PDF/2001/tm/NASA-2001-tm210864.pdf ; current access is available via PURL.
    Connect to online resource - All users (Federal Depository Library Program Persistant URL)
    Government Document Microfilm Book
  7. 7

    State-based implicit coordination and applications

    Authors: Narkawicz, Anthony Joseph, 1982-
    Published: National Aeronautics and Space Administration, Langley Research Center, 2011
    Other Authors: “…Muñoz, César A., 1968-…”
    Physical Description: 1 online resource (ii, 51 pages) : illustrations (chiefly color).
    Connect to online resource - All users (Federal Depository Library Program Persistant URL)
    Government Document Electronic eBook