z-logo
open-access-imgOpen Access
Résolution de contraintes du premier ordre dans la théorie des arbres finis ou infinis
Author(s) -
Thi Bich Hanh Dao
Publication year - 2000
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - French
Resource type - Conference proceedings
Subject(s) - mathematics , correctness , constant (computer programming) , function (biology) , combinatorics , discrete mathematics , calculus (dental) , algorithm , computer science , medicine , dentistry , evolutionary biology , biology , programming language

The content you want is available to Zendy users.

Already have an account? Click here to sign in.
Having issues? You can contact us here