Knowledge Tree

researcher / Siva Anantharaman

Siva Anantharaman

at_id:

orcid_id:

Disciplines:

Applied sciences

Computer sciences

Edit Merge See Links

Directed Thesis:

Automates pour l'analyse de documents XML compressés, applications à la sécurité d'accès

Test de conformité pour des spécifications à base d'automates : une approche par la théorie des jeux

Contraintes ensemblistes et specifications formelles

Unification dans la programmation logico-equationnelle

Une approche de synthèse pour la programmation logique et ses extensions

Unification generale par surreduction ordonnee contrainte et surreduction dirigee

Demonstration automatique dans les theories de horn