Calculs d'unification sur les arbres de dérivation TAG.

Sylvain Schmitz Joseph Le Roux

Published in: TALN (Articles courts) (2008)

Keyphrases

theorem proving
higher order
rfid tags
keywords
image tagging
equational theories
real world
lightweight
social tagging
rfid systems
collaborative tagging
tag information
knuth bendix