Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
30 Treffer

Suchmaske

Suchtipp für den Bereich Artikel & mehr: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Das folgende Suchfeld wird hier nicht unterstützt: "Signatur / Strichcode".

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Gefunden in

Art der Quelle

Schlagwort

Sprache

30 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    A Coq certified translation from an extension of relational algebra for SQL to a nested algebra ; Traduction mécanisée et certifiée en Coq d'une algèbre relationnelle étendue pour SQL vers une algèbre imbriquée
    Hachmaoui, Mohammed Houssem Eddine ; Paris-Saclay, université ; et al.
    In: Theses.fr, 2020
    Hochschulschrift
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Coq formalisations for deciding problems in real algebraic geometry ; Formalisations en Coq pour la décision de problèmes en géométrie algébrique réelle
    Djalal, Boris ; Université Côte d'Azur (ComUE) ; et al.
    In: Theses.fr, 2018
    Hochschulschrift
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Imperative programming by refinement in the Coq proof assistant ; Programmation impérative par raffinements avec l'assistant de preuve Coq
    Sall, Boubacar Demba ; université, Sorbonne ; et al.
    In: Theses.fr, 2020
    Hochschulschrift
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Combinatorial approach for the automation in Coq of formal proofs in incidence projective geometry ; Approche combinatoire pour l'automatisation en Coq des preuves formelles en géométrie d'incidence projective
    Braun, David ; Strasbourg ; et al.
    In: Theses.fr, 2019
    Hochschulschrift
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Formalizing and Implementing a Reflexive Tactic for Automated Deduction in Coq ; Formalisation et developpement d'une tactique reflexive pour la demonstration automatique en coq
    Lescuyer, Stephane ; 11, Paris ; et al.
    In: Theses.fr, 2011
    Hochschulschrift
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Kleene algebra, Rewriting modulo AC and Circuits in Coq. ; Algèbres de Kleene, réécriture modulo AC et circuits en coq
    Braibant, Thomas ; Grenoble ; et al.
    In: Theses.fr, 2012
    Hochschulschrift
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    A type theory with definitional proof-irrelevance ; Une théorie des types avec insignifiance des preuves définitionnelle
    Gilbert, Gaëtan ; Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire ; et al.
    In: Theses.fr, 2019
    Hochschulschrift
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Formalizations of error analysis in numerical analysis and floating-point arithmetic ; Formalisations d’analyses d’erreurs en analyse numérique et en arithmétique à virgule flottante
    Faissole, Florian ; Université Paris-Saclay (ComUE) ; et al.
    In: Theses.fr, 2019
    Hochschulschrift
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Certified algorithms for program slicing ; Algorithmes certifiés pour la simplification syntaxique de programmes
    Léchenet, Jean-Christophe ; Université Paris-Saclay (ComUE) ; et al.
    In: Theses.fr, 2018
    Hochschulschrift
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Lawvere-Tierney sheafification in Homotopy Type Theory ; Faisceautisation de Lawvere-Tierney en théorie des types homotopiques
    Quirin, Kevin ; Nantes, Ecole des Mines ; et al.
    In: Theses.fr, 2016
    Hochschulschrift
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Certifying formal reasoning about critical information systems ; Certification des raisonnements formels portant sur des systèmes d'information critiques
    Henaien, Amira ; Université de Lorraine ; et al.
    In: Theses.fr, 2015
    Hochschulschrift
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Certified semantics and analysis of JavaScript ; Sémantique et analyse certifiée de JavaScript
    Bodin, Martin ; 1, Rennes ; et al.
    In: Theses.fr, 2016
    Hochschulschrift
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Formal verification of structured data generation programs ; Vérification formelle de programmes de génération de données structurées
    Genestier, Richard ; Besançon ; et al.
    In: Theses.fr, 2016
    Hochschulschrift
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Proof Automation for Atelier B Rules Verification ; Automatisation des preuves pour la vérification des règles de l'Atelier B
    Jacquel, Mélanie ; Paris, CNAM ; et al.
    In: Theses.fr, 2013
    Hochschulschrift
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Methods for cryptographic protocols verification in the computational model ; Méthodes pour la vérification des protocoles cryptographiques dans le modèle calculatoire
    Duclos, Mathilde ; Université Grenoble Alpes (ComUE) ; et al.
    In: Theses.fr, 2016
    Hochschulschrift
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Development and verification of probability logics and logical frameworks ; Développement et vérification des logiques probabilistes et des cadres logiques
    Maksimović, Petar ; Nice ; et al.
    In: Theses.fr, 2013
    Hochschulschrift
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Extraction of Certified Functional Code from Inductive Specifications ; Extraction de code fonctionnel certifié à partir de spécifications inductives
    Tollitte, Pierre-Nicolas ; Paris, CNAM ; et al.
    In: Theses.fr, 2013
    Hochschulschrift
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Realizability and parametricity in Pure Type Systems ; Réalisabilité et paramétricité dans les systèmes de types purs
    Lasson, Marc ; Lyon, École normale supérieure ; et al.
    In: Theses.fr, 2012
    Hochschulschrift
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Certification of a Tool Chain for Deductive Program Verification ; Certification d'une chaine de vérification déductive de programmes
    Herms, Paolo ; 11, Paris ; et al.
    In: Theses.fr, 2013
    Hochschulschrift
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Higher-Order Confluence and Universe Embedding in the Logical Framework ; Confluence d'ordre supérieur et encodage d'univers dans le Logical Framework
    Ferey, Gaspard ; Paris-Saclay, université ; et al.
    In: Theses.fr, 2021
    Hochschulschrift
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -