Showing 1 - 20 results of 63 for search '"logicism"', query time: 0.09s 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
    Intuitionistic Logic according to Dijkstra’s Calculus of Equational Deduction
    Por Bohórquez, Jaime
    Published in 2008
    Repositorio Repositorio Institucional ECI

    Subjects: “...Intuitionistic logic...”
    Get full text
  3. 3
    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
  4. 4
    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
  5. 5
    Trabajo de grado de pregrado
    Ambiente visual para el aprendizaje de conceptos asociados a la lógica proposicional
    Por González Prieto, Julián
    Published in 2017
    Repositorio Repositorio Institucional ECI

    Subjects: “...Propositional Logic...”
    Get full text
    Get full text
  6. 6
    Article of investigation
    A Semantic Framework for the Design of Distributed Reactive Real-Time Languages and Applications
    Por Sanabria-Ardila, Mateo; Benavides-Navarro, Luis Daniel; Díaz-López, Daniel; Garzón-Alfonso, Wilmer
    Published in 2020
    Repositorio Repositorio Institucional ECI

    Subjects: “...Logical clocks...”
    Get full text
    Get full text
  7. 7
    Trabajo de grado de pregrado
    Ambiente visual para el aprendizaje de sistemas formales
    Por Garcia Melo, Joana Marcela
    Published in 2017
    Repositorio Repositorio Institucional ECI

    Subjects: “...Mathematical logic...”
    Get full text
    Get full text
  8. 8
    Diseño de un sistema de control en máquina de fabricación de mallas de acero electrosoldadas
    Por Diaz Buitrago, Daniel Alejandro; Ojeda Guerrero, Silvia Juliana
    Published in 2019
    Repositorio Repositorio Institucional ECI

    Subjects: “...Programmable logic controllers...”
    Get full text
    Get full text
  9. 9
    Trabajo de grado de pregrado
    Conceptualizando el capital: revisión del concepto en G. Hodgson desde D. Harvey
    Por Cañas Salas, William Fernando
    Published in 2016
    Repositorio Repositorio Institucional ECI

    Subjects: “...Logical-historic method...”
    Get full text
    Get full text
  10. 10
    Trabajo de grado de pregrado
    Una semántica formal para Apache Spark en lógica de reescritura
    Por Sanabria Ardila, Mateo
    Published in 2018
    Repositorio Repositorio Institucional ECI

    Subjects: “...Open Source Rewrite logic...”
    Get full text
    Get full text
  11. 11
    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
  12. 12
    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
  13. 13
    Trabajo de grado de pregrado
    Una semántica ejecutable en lógica de reescritura para programación espacial concurrente por restricciones (SCCP)
    Por Romero González, Miguel Ángel
    Published in 2017
    Repositorio Repositorio Institucional ECI

    Subjects: “...rewriting logic...”
    Get full text
    Get full text
  14. 14
    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
  15. 15
    Book
    Towards Real-Time Semantics for a Distributed Event-Based MOP Language
    Por Sanabria, Mateo; Garzón Alfonso, Wilmer; Benavides Navarro, Luis Daniel
    Published in 2018
    Repositorio Repositorio Institucional ECI

    Subjects: “...Rewriting logic...”
    Get full text
  16. 16
    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
  17. 17
    Article of investigation
    Adquisición y reconocimiento de imágenes por medio de técnicas de visión e inteligencia artificial
    Por Rodríguez-González, Diana Carolina; Gerardino Arévalo, Beatriz; Estupiñán Escalante, Enrique; Pulido Sarmiento, Guillermo; Cruz Romero, José Manuel; Cancino Suárez, Sandra Liliana
    Published in 2009
    Repositorio Repositorio Institucional ECI

    Subjects: “...Fuzzy Logic...”
    Get full text
    Get full text
    Get full text
  18. 18
    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
  19. 19
    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
  20. 20
    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
Search Tools: Get RSS Feed — Email this Search