Knowledge Tree

researcher / Pascal Yim

Pascal Yim

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Résolution dans les systèmes formels abstraits : applications a la programmation en logique, aux systemes de reecriture et aux grammaires formelles.