Algorithmes d'unification étendue pour l'intégration des langages fonctionnels et logiques.

Mehmet Dincbas Pascal Van Hentenryck

Published in: SPLT (1986)

Keyphrases

higher order
theorem prover
theorem proving
equational theories
knuth bendix
automated theorem proving
ieee trans
databases
database systems
search algorithm
special case
orders of magnitude
endpoints