Login / Signup

When is scalar multiplication decidable?

Philipp Hieronymi
Published in: Ann. Pure Appl. Log. (2019)
Keyphrases
  • scalar multiplication
  • elliptic curve
  • secure communication
  • first order logic
  • database systems
  • computationally efficient
  • digital signature