Terminating Non-Disjoint Combined Unification (Extended Abstract)
Domaines
Logique en informatique [cs.LO]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...
Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Christophe Ringeissen : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-02962869
Soumis le : vendredi 9 octobre 2020-15:23:14
Dernière modification le : lundi 11 septembre 2023-17:41:19
Archivage à long terme le : dimanche 10 janvier 2021-18:48:57