Open AccessRé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