Treffer 1 - 20 von 31 für Suche 'Contejean, Évelyne', Suchdauer: 1,12s Treffer weiter einschränken
  1. 1
    Translating canonical SQL to imperative code in Coq

    Translating canonical SQL to imperative code in Coq von Benzaken, Véronique, Contejean, Évelyne, Hachmaoui, Mohammed Houssem, Keller, Chantal, Mandel, Louis, Shinnar, Avraham, Siméon, Jérôme


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Canonized Rewriting and Ground AC Completion Modulo Shostak Theories : Design and Implementation

    Canonized Rewriting and Ground AC Completion Modulo Shostak Theories : Design and Implementation von Conchon, Sylvain, Contejean, Evelyne, Iguernelala, Mohamed


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    A Coq Formalization of the Relational Data Model

    A Coq Formalization of the Relational Data Model von Benzaken, Véronique, Contejean, Évelyne, Dumbrava, Stefania


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Certifying Standard and Stratified Datalog Inference Engines in SSReflect

    Certifying Standard and Stratified Datalog Inference Engines in SSReflect von Benzaken, Véronique, Contejean, Évelyne, Dumbrava, Stefania


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Reflecting Proofs in First-Order Logic with Equality

    Reflecting Proofs in First-Order Logic with Equality von Contejean, Evelyne, Corbineau, Pierre


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  6. 6
    A Coq Formalisation of SQL's Execution Engines

    A Coq Formalisation of SQL's Execution Engines von Benzaken, V., Contejean, É., Keller, Ch, Martins, E.


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Translating Canonical SQL to Imperative Code in Coq

    Translating Canonical SQL to Imperative Code in Coq von Benzaken, Véronique, Contejean, Évelyne, Hachmaoui, Mohammed Houssem, Keller, Chantal, Mandel, Louis, Shinnar, Avraham, Siméon, Jérôme

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    A Certified AC Matching Algorithm

    A Certified AC Matching Algorithm von Contejean, Evelyne


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Translating Canonical SQL to Imperative Code in Coq

    Translating Canonical SQL to Imperative Code in Coq von Benzaken, Véronique, Contejean, Évelyne, Hachmaoui, Mohammed Houssem, Keller, Chantal, Mandel, Louis, Shinnar, Avraham, Siméon, Jérôme

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Mechanically Proving Termination Using Polynomial Interpretations

    Mechanically Proving Termination Using Polynomial Interpretations von Contejean, Evelyne, Marché, Claude, Tomás, Ana Paula, Urbain, Xavier

    Veröffentlicht in Journal of automated reasoning

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Modeling Permutations in Coq for Coccinelle

    Modeling Permutations in Coq for Coccinelle von Contejean, Evelyne


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    A partial solution for D-unification based on a reduction to AC1-unification

    A partial solution for D-unification based on a reduction to AC1-unification von Contejean, Evelyne


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    An Efficient Incremental Algorithm for Solving Systems of Linear Diophantine Equations

    An Efficient Incremental Algorithm for Solving Systems of Linear Diophantine Equations von Contejean, E., Devie, H.

    Veröffentlicht in Information and computation

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Canonized Rewriting and Ground AC Completion Modulo Shostak Theories

    Canonized Rewriting and Ground AC Completion Modulo Shostak Theories von Conchon, Sylvain, Contejean, Evelyne, Iguernelala, Mohamed


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Combining Pattern E-Unification Algorithms

    Combining Pattern E-Unification Algorithms von Boudet, Alexandre, Contejean, Evelyne


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    About the confluence of equational pattern rewrite systems

    About the confluence of equational pattern rewrite systems von Boudet, Alexandre, Contejean, Evelyne


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  17. 17
    A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic

    A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic von Bobot, François, Conchon, Sylvain, Contejean, Evelyne, Iguernelala, Mohamed, Mahboubi, Assia, Mebsout, Alain, Melquiond, Guillaume


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Complete solving of linear Diophantine equations and inequations without adding variables

    Complete solving of linear Diophantine equations and inequations without adding variables von Ajili, Farid, Contejean, Evelyne


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Certification of Automated Termination Proofs

    Certification of Automated Termination Proofs von Contejean, Evelyne, Courtieu, Pierre, Forest, Julien, Pons, Olivier, Urbain, Xavier


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    “Syntactic” AC-unification

    “Syntactic” AC-unification von Boudet, Alexandre, Contejean, Evelyne


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: