Univers D'Herbrand
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Définition
L'ensemble de tous les termes sans variables (termes ground) pouvant être construits à partir des symboles de constantes et de fonctions d'un langage du premier ordre.