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
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom