International workshop on higher-order algebra, logic and term rewriting

Création :1993
Autre forme du nom :HOA

Pages dans data.bnf.fr

Cette page dans l'atelier

Sources et références

Voir dans le catalogue général de la BnF

Sources de la notice

  • LCNA (CD OCLC), 1995-06

Autre forme du nom

  • HOA

Pages équivalentes