Gluing resource proof-structures: inhabitation and inverting the Taylor expansion.

Giulio Guerrieri Luc Pellissier Lorenzo Tortora de Falco

Published in: CoRR (2020)

Keyphrases

resource management
web resources
databases
management system
resource allocation
machine learning
clustering algorithm
resource requirements
proof theory