Loading...
Cette page propose la consultation des publications déposées sur la plateforme HAL et dont un des auteurs est affilié à une structure placée sous la tutelle directe d'Inria.
Cette liste de publications est générée automatiquement chaque nuit.
Si au moins un des auteurs de la publication déposée est affilié à Inria, elle sera intégrée dans cette collection.
Les auteurs Inria sont invités à déposer sur le portail Inria.hal.science
Contact : archive-ouverte@inria.fr
Dernières publications
-
Serdar Erbatur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen. Deciding Knowledge Problems Modulo Classes of Permutative Theories. Logic-Based Program Synthesis and Transformation - 34th International Symposium, LOPSTR 2024, Sep 2024, Milan, Italy. pp.47-63, ⟨10.1007/978-3-031-71294-4_3⟩. ⟨hal-04778365⟩
Texte intégral
Références
Chiffres clés
78 337
Publications avec texte intégral
58
Données de recherche
152
Logiciels