A theory of cut-restriction: first steps.

Agata Ciabattoni Timo Lang Revantha Ramanayake

Published in: CoRR (2022)

Keyphrases

theoretical framework
neural network
theoretical basis
real time
artificial intelligence
reinforcement learning
general theory
optimal solution
computer science
relational databases
special case
computational model
conceptual framework