Login / Signup
Grammaires d'unification polarisées.
Sylvain Kahane
Published in:
TALN (Articles longs) (2004)
Keyphrases
</>
higher order
theorem proving
equational theories
database
databases
database systems
search algorithm
fine grained
theorem prover
automated theorem proving