Suggested Topics within your search.
Showing 1 - 20 results of 73 for search '"logic in computer science"', query time: 2.72s Refine Results
  1. 1
    Linear logic in computer science
    Get full text
    Article
  2. 2
    Induction proofs - An introductory approach
    by Charles Lumiere
    Published 2015-12-01
    Subjects: “...logic for computer science...”
    Get full text
    Article
  3. 3
    Logics of Communication and Knowledge
    by Sietsma, Floor
    Published 2012
    Subjects: “...[INFO:INFO_LO] Computer Science/Logic in Computer Science...”
    Get full text
    Get full text
  4. 4
    Models and theories of lambda calculus
    by Manzonetto, Giulio
    Published 2008
    Subjects: “...[INFO:INFO_LO] Computer Science/Logic in Computer Science...”
    Get full text
    Get full text
  5. 5
    A tabular propositional logic: and/or Table Translator
    by Lee, Chen-Hsiu
    Published 2003
    Subjects: “...Logic programming (Computer science)...”
    Get full text
    Get full text
    Others
  6. 6
    La lógica matemática: una disciplina en busca de encuadre
    by José Ferreirós
    Published 2010-10-01
    Subjects: “...logic and computer science...”
    Get full text
    Article
  7. 7
    Développement modulaire de théories et gestion de l'espace de nom pour l'assistant de preuve Coq.
    by Soubiran, Elie
    Published 2010
    Subjects: “...[INFO:INFO_LO] Computer Science/Logic in Computer Science...”
    Get full text
    Get full text
  8. 8
    Complexité Implicite de Lambda-Calculs Concurrents
    by Madet, Antoine
    Published 2012
    Subjects: “...[INFO:INFO_LO] Computer Science/Logic in Computer Science...”
    Get full text
    Get full text
  9. 9
    Development and verification of probability logics and logical frameworks
    by Maksimovic, Petar
    Published 2013
    Subjects: “...[INFO:INFO_LO] Computer Science/Logic in Computer Science...”
    Get full text
    Get full text
    Get full text
  10. 10
    Développement et Vérification des Logiques Probabilistes et des Cadres Logiques
    by Maksimovic, Petar
    Published 2013
    Subjects: “...[INFO:INFO_LO] Computer Science/Logic in Computer Science...”
    Get full text
    Get full text
    Get full text
  11. 11
    A Generic Approach for Automated Verification of Product Line Models
    by Mazo, Raul
    Published 2011
    Subjects: “...[INFO:INFO_LO] Computer Science/Logic in Computer Science...”
    Get full text
    Get full text
  12. 12
    Analyse de Programmes Malveillants par Abstraction de Comportements
    by Beaucamps, Philippe
    Published 2011
    Subjects: “...[INFO:INFO_LO] Computer Science/Logic in Computer Science...”
    Get full text
    Get full text
  13. 13
    Développement et vérification des logiques probabilistes et des cadres logiques
    by Maksimović, Petar
    Published 2013
    Subjects: “...[INFO:INFO_LO] Computer Science/Logic in Computer Science...”
    Get full text
    Get full text
  14. 14
    Exploiting Model Structure in CEGAR Verification Method
    by Chucri, Farès
    Published 2012
    Subjects: “...[INFO:INFO_LO] Computer Science/Logic in Computer Science...”
    Get full text
    Get full text
  15. 15
    Automatisation de la Certification Formelle de Systèmes Critiques par Instrumentation d'Interpréteurs Abstraits
    by Garnacho, Manuel
    Published 2010
    Subjects: “...[INFO:INFO_LO] Computer Science/Logic in Computer Science...”
    Get full text
    Get full text
  16. 16
    Etude sur le typage de l'égalité dans les systèmes de types
    by Siles, Vincent
    Published 2010
    Subjects: “...[INFO:INFO_LO] Computer Science/Logic in Computer Science...”
    Get full text
    Get full text
  17. 17
    Aircraft operational reliability - A Model-based approach and case studies
    by Tiassou, Kossi
    Published 2013
    Subjects: “...[INFO:INFO_LO] Computer Science/Logic in Computer Science...”
    Get full text
    Get full text
  18. 18
    Terminaison des systèmes de réécriture d'ordre supérieur basée sur la notion de clôture de calculabilité
    by Blanqui, Frédéric
    Published 2012
    Subjects: “...[INFO:INFO_LO] Computer Science/Logic in Computer Science...”
    Get full text
    Get full text
  19. 19
    Techniques de déduction automatique vues comme recherche de preuve en calcul des séquents
    by Farooque, Mahfuza
    Published 2013
    Subjects: “...[INFO:INFO_LO] Computer Science/Logic in Computer Science...”
    Get full text
    Get full text
  20. 20
    Calculs vérifiés en algèbre homologique
    by Spiwack, Arnaud
    Published 2011
    Subjects: “...[INFO:INFO_LO] Computer Science/Logic in Computer Science...”
    Get full text
    Get full text
Search Tools: Get RSS Feed — Email this Search