Login / Signup
Modular Termination for Second-Order Computation Rules and Application to Algebraic Effect Handlers.
Makoto Hamana
Published in:
Log. Methods Comput. Sci. (2022)
Keyphrases
</>
association rules
multiscale
decision support
rule sets
neural network
genetic algorithm
information systems
decision rules
classification rules
application specific