Login / Signup
Formalising nominal C-unification generalised with protected variables.
Mauricio Ayala-Rincón
Washington de Carvalho Segundo
Maribel Fernández
Gabriel Ferreira Silva
Daniele Nantes-Sobrinho
Published in:
Math. Struct. Comput. Sci. (2021)
Keyphrases
</>
higher order
function symbols
real time
variable selection
theorem proving
information systems
relational databases
random variables
first order logic
causal relationships
independent variables
relevant variables