Polyregular Functions Characterisations and Refutations - Characterisations and Refutations.

Published in: DLT (2024)

Keyphrases

theorem prover
inductive inference
neural network
image processing
expert systems
real time
social networks
information systems
lower bound