Glueability of Resource Proof-Structures: Inverting the Taylor Expansion.

Giulio Guerrieri Luc Pellissier Lorenzo Tortora de Falco

Published in: CSL (2020)

Keyphrases

resource allocation
resource management
image processing
website
web resources
theorem proving
database
neural network
genetic algorithm
knowledge representation
theorem prover
structural features
resource usage