Certified Derivation of Small-Step From Big-Step Skeletal Semantics.

Guillaume Ambal Sergueï Lenglet Alan Schmitt Camille Noûs

Published in: PPDP (2022)

Keyphrases

post processing
small number
learning algorithm
web services
decision trees
case study
logic programming
preprocessing step