Around Classical and Intuitionistic Linear Processes.

Juan C. Jaramillo Dan Frumin Jorge A. Pérez

Published in: CONCUR (2024)

Keyphrases

real time
neural network
computational models
theorem prover
linear systems
classical methods
search engine
case study
face recognition
linear constraints
classical logic