Login / Signup
The Undecidability of Unification Modulo σ Alone.
Gilles Dowek
Published in:
CoRR (2023)
Keyphrases
</>
description logics
higher order
theorem proving
equational theories
probabilistic planning
multi agent
special case
theorem prover
automated theorem proving
knuth bendix
information systems
feature selection
case study
database systems
similarity measure
query containment