Showing 1 - 20 results of 42 for search '"[INFO:INFO_LO] Computer Science/Logic in Computer Science"', query time: 6.24s Refine Results
  1. 1
    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
  2. 2
    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
  3. 3
    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
  4. 4
    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
  5. 5
    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
  6. 6
    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
  7. 7
    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
  8. 8
    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
  9. 9
    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
  10. 10
    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
  11. 11
    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
  12. 12
    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
  13. 13
    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
  14. 14
    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
  15. 15
    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
  16. 16
    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
  17. 17
    Question de confiance : communication sceptique entre Coq et des prouveurs externes
    by Keller, Chantal
    Published 2013
    Subjects: “...[INFO:INFO_LO] Computer Science/Logic in Computer Science...”
    Get full text
    Get full text
  18. 18
    Déduction automatique appliquée à l'analyse et la vérification de systèmes infinis
    by Vigneron, Laurent
    Published 2011
    Subjects: “...[INFO:INFO_LO] Computer Science/Logic in Computer Science...”
    Get full text
    Get full text
  19. 19
    Vers un calcul des constructions pédagogique
    by Demange, Vincent
    Published 2012
    Subjects: “...[INFO:INFO_LO] Computer Science/Logic in Computer Science...”
    Get full text
    Get full text
    Get full text
  20. 20
    Transformation de Programmes pour des Nombres Réels Fiables
    by Neron, Pierre
    Published 2013
    Subjects: “...[INFO:INFO_LO] Computer Science/Logic in Computer Science...”
    Get full text
    Get full text
Search Tools: Get RSS Feed — Email this Search