Pure Pattern Calculus à la de Bruijn.

Alexis Martin Alejandro Ríos Andrés Viso

Published in: CoRR (2020)

Keyphrases

pattern matching
databases
social networks
neural network
artificial intelligence
web services
image sequences
automated theorem proving