Login / Signup

Resource Analysis driven by (Conditional) Termination Proofs.

Elvira AlbertMiquel BofillCristina BorrallerasEnrique Martin-MartinAlbert Rubio
Published in: Theory Pract. Log. Program. (2019)
Keyphrases
  • data driven
  • social networks
  • resource allocation
  • theorem proving
  • real time
  • web resources
  • formal proof