Tensor of Quantitative Equational Theories.

Giorgio Bacci Radu Mardare Prakash Panangaden Gordon D. Plotkin

Published in: CALCO (2021)

Keyphrases

equational theories
high order
theorem proving
higher order
qualitative and quantitative
relational databases
software engineering
diffusion tensor
databases
artificial intelligence
domain knowledge
function symbols