Showing 1 - 20 results of 20 for search '"logicism"', query time: 0.07s Refine Results
  1. 1
    Conferencia (Ponencia)
    Simulation and Verification of Synchronous Set Relations in Rewriting Logic
    Por Rocha, Camilo; Múñoz, César
    Published in 2011
    Repositorio Repositorio Institucional ECI

    “...This paper presents a mathematical foundation and a rewriting logic infrastructure...”
    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
    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
  4. 4
    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
  5. 5
    Part of book
    A Formal Interactive Verification Environment for the Plan Execution Interchange Language
    Por Cadavid Rengifo, Hector Fabio; Rocha, Camilo; Muñoz, Cesar
    Published in 2012
    Repositorio Repositorio Institucional ECI

    Subjects: “...Linear Temporal Logic...”
    Get full text
  6. 6
    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
  7. 7
    Part of book
    A Formal Interactive Verification Environment for the Plan Execution Interchange Language
    Por Rocha, Camilo; Cadavid, Héctor; Siminiceanu, Radu
    Published in 2012
    Repositorio Repositorio Institucional ECI

    Subjects: “...Linear Temporal Logic...”
    Get full text
  8. 8
    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
  9. 9
    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
  10. 10
    Part of book
    Axiomatic Set Theory à la Dijkstra and Scholten
    Por Acosta, Ernesto; Aldana, Bernarda; Bohórquez, Jaime; Rocha, Camilo
    Published in 2017
    Repositorio Repositorio Institucional ECI

    Subjects: “...Dijkstra-Scholten logic...”
    Get full text
  11. 11
    Part of book
    Axiomatic Set Theory à la Dijkstra and Scholten
    Por Acosta, Ernesto; Aldana, Bernarda; Bohórquez, Jaime; Rocha, Camilo
    Published in 2017
    Repositorio Repositorio Institucional ECI

    Subjects: “...Dijkstra-Scholten logic...”
    Get full text
    Get full text
  12. 12
    Part of book
    Reliable Control Architecture with PLEXIL and ROS for Autonomous Wheeled Robots
    Por Cadavid, Héctor; Pérez, Alexander; Rocha, Camilo
    Published in 2017
    Repositorio Repositorio Institucional ECI

    Subjects: “...Rewriting logic...”
    Get full text
    Get full text
  13. 13
    Part of book
    A Graphical Environment for the Semantic Validation of a Plan Execution Language
    Por Rocha, Camilo; Muñoz, Cesar; Cadavid, Hector
    Published in 2009
    Repositorio Repositorio Institucional ECI

    Subjects: “...Logic...”
    Get full text
  14. 14
    Trabajo de grado de pregrado
    Heurísticas de búsqueda de prueba automática en la herramienta de análisis invariante de maude
    Por Rocha, Camilo
    Published in 2013
    Repositorio Repositorio UNAB

    Subjects: “...Rewriting logic...”
    Get full text
  15. 15
    Part of book
    Automatic proof-search heuristics in the Maude invariant analyzer tool
    Por Rocha, Camilo
    Published in 2013
    Repositorio Repositorio Institucional ECI

    Get full text
  16. 16
    Part of book
    Proving Safety Properties of Rewrite Theories
    Por Rocha, Camilo; Meseguer, José
    Published in 2011
    Repositorio Repositorio Institucional ECI

    Get full text
  17. 17
    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
  18. 18
    Part of book
    Tool Interoperability in the Maude Formal Environment
    Por Durán, Francisco; Rocha, Camilo; Álvarez, José María
    Published in 2011
    Repositorio Repositorio Institucional ECI

    Get full text
  19. 19
    Part of book
    Towards a Maude Formal Environment
    Por Durán, Francisco; Rocha, Camilo; Álvarez, José María
    Published in 2011
    Repositorio Repositorio Institucional ECI

    “...Maude is a declarative and reflective language based on rewriting logic in which computation...”
    Get full text
  20. 20
    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