An encoding of the λ-calculus in the String MultiSet Rewriting calculus.

Attila Bagossy Péter Battyányi

Published in: Acta Informatica (2024)

Keyphrases

neural network
automated deduction
algebraic structure
computer algebra
database
data sets
learning algorithm
distance measure
constraint propagation
formal language
natural deduction
provably correct
presburger arithmetic