Regular and First-Order List Functions.

Mikolaj Bojanczyk Laure Daviaud Shankara Narayanan Krishna

Published in: LICS (2018)

Keyphrases

higher order
database
image segmentation
first order logic
real time
data structure
artificial neural networks
real numbers
context free
decision diagrams