Login / Signup

COCP: Blockchain Proof-of-Useful-Work Leveraging Real-Life Applications.

Tatjana DavidovicMilan TodorovicDusan RamljakTatjana Jaksic KrügerLuka MatijevicDjordje JovanovicDragan Urosevic
Published in: BCCA (2022)
Keyphrases
  • real life
  • theorem prover
  • application domains
  • theorem proving
  • linear logic
  • machine learning
  • information systems
  • web services
  • special case
  • natural deduction