Showing 1 - 5 results of 5 for search '"logicism"', query time: 0.02s Refine Results
  1. 1
    Article of journal
    Synchronous set relations in rewriting logic
    Por Muñoz, César; Rocha Niño, Hernán Camilo
    Published in 2014
    Repositorio Repositorio Institucional ECI

    Subjects: “...Rewriting logic...”
    Get full text
  2. 2
    Article of journal
    Rewriting Logic Semantics of a Plan Execution Language
    Por Dowek, Gilles; Muñoz, César; Rocha, Camilo
    Published in 2010
    Repositorio Repositorio Institucional ECI

    Subjects: “...Logic in Computer Science...”
    Get full text
  3. 3
    Article of journal
    Rewriting modulo SMT and open system analysis
    Por Rocha, Camilo; Meseguer, José; Muñoz, César
    Published in 2016
    Repositorio Repositorio Institucional ECI

    Subjects: “...Rewriting logic...”
    Get full text
  4. 4
    Article of journal
    A formal library of set relations and its application to synchronous languages
    Por Rocha, Camilo; Muñoz, César; Dowek, Gilles
    Published in 2011
    Repositorio Repositorio Institucional ECI

    Subjects: “...Rewriting logic semantics...”
    Get full text
  5. 5
    Trabajo de grado de pregrado
    Sustituciones explícitas y todo eso
    Por Ayala Rincón, Mauricio; Muñoz, César
    Published in 2000
    Repositorio Repositorio UNAB

    Get full text
Search Tools: Get RSS Feed — Email this Search