A Calculus of Delayed Reductions.

Steffen van Bakel Nicolas Wu Emma Tye

Published in: PPDP (2023)

Keyphrases

automated deduction
machine learning
efficient computation
provably correct
computer algebra
real time
data mining
information systems
case study
algebraic structure
relation algebra