Showing 1 - 7 results of 7 for search '"logicism"', query time: 0.03s Refine Results
  1. 1
    Trabajo de grado de pregrado
    Un procedimiento de decisión de reescritura de la lógica silogística de Dijkstra-Scholten con complementos
    Por Rocha, Camilo; Meseguer, José
    Published in 2007
    Repositorio Repositorio UNAB

    Subjects: “...Syllogistic logic with complements...”
    Get full text
  2. 2
    http://purl.org/coar/resource_type/c_f744
    Theorem Proving Modulo Based on Boolean Equational Procedures
    Por Rocha, Camilo; Meseguer, José
    Published in 2008
    Repositorio Repositorio Institucional ECI

    Subjects: “...Propositional Logic...”
    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
    Part of book
    Constructors, Sufficient Completeness, and Deadlock Freedom of Rewrite Theories
    Por Rocha, Camilo; Meseguer, José
    Published in 2010
    Repositorio Repositorio Institucional ECI

    Subjects: “...Equational Logic...”
    Get full text
  5. 5
    Part of book
    Proving Safety Properties of Rewrite Theories
    Por Rocha, Camilo; Meseguer, José
    Published in 2011
    Repositorio Repositorio Institucional ECI

    Get full text
  6. 6
    Part of book
    Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool
    Por Rocha, Camilo; Meseguer, José
    Published in 2014
    Repositorio Repositorio Institucional ECI

    Get full text
  7. 7
    Part of book
    Order-Sorted Equality Enrichments Modulo Axioms
    Por Gutiérrez, Raúl; Meseguer, José; Rocha, Camilo
    Published in 2012
    Repositorio Repositorio Institucional ECI

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