Equivalence algorithmique sur base de transformations axées sur la généralisation de programmes logiques

Projet: Projet de thèse

Détails du projet

statutNon commencé
Tout afficher
Voir moins

Empreinte digitale

Explorez les thèmes de recherche abordés par ce projet. Ces libellés sont générés sur la base des prix/subventions sous-jacents. Ensemble, ils forment une empreinte digitale unique.
Afficher l'empreinte digitale dans sa totalité
  • 3 Article
  • 1 Article dans les actes d'une conférence/un colloque

  • Anti-unification of Unordered Goals

    Yernaux, G. & VANHOOF, W., 27 janv. 2022. 17 p.

    Résultats de recherche: Contribution à un événement scientifique (non publié) › Article › Revue par des pairs

    Accès ouvert
    11 Téléchargements (Pure)

  • Generalization-Driven Semantic Clone Detection in CLP

    Vanhoof, W. & Yernaux, G., 21 avr. 2020, Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019, Revised Selected Papers. Gabbrielli, M. (Ed.). Springer, Vol 12042. p. 228-242 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 12042 LNCS).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    File
    18 Téléchargements (Pure)

  • Anti-unification in Constraint Logic Programming

    Yernaux, G. & Vanhoof, W., 20 sept. 2019, Dans: Theory and Practice of Logic Programming. 19, 5-6, p. 773-789 17 p.

    Résultats de recherche: Contribution à un journal/une revue › Article › Revue par des pairs

    3 Téléchargements (Pure)
Tout afficher 4 résultat de recherche
  • 4 Présentation orale
  • 1 Participation à une conférence, un congrès
Tout afficher 5 activités