A categorical account of composition methods in logic.

Tomás Jakl Dan Marsden Nihil Shah

Published in: CoRR (2023)

Keyphrases

database
benchmark datasets
artificial neural networks
computational cost
computationally expensive
data mining
website
case study
multiscale
significant improvement
qualitative and quantitative