Login / Signup
Gluing resource proof-structures: inhabitation and inverting the Taylor expansion.
Giulio Guerrieri
Luc Pellissier
Lorenzo Tortora de Falco
Published in:
Log. Methods Comput. Sci. (2022)
Keyphrases
</>
real time
resource allocation
theorem prover
database
mobile robot
resource management
complex structures
information retrieval
genetic algorithm
artificial intelligence
knowledge base
image processing
resource sharing
resource consumption