Predicate signatures from pair encodings via dual system proof technique.

Mridul Nandi Tapas Pandit

Published in: J. Math. Cryptol. (2019)

Keyphrases

pairwise
theorem proving
first order logic
orders of magnitude
theorem prover
primal dual
information retrieval
planning problems
linear logic
website
scheduling problem
signature scheme