11 search results - page 3 / 3 » Zero-Knowledge Proofs with Witness Elimination |
JSYML
2010
13 years 23 days ago
2010
Abstract. Building on Hrushovski's work in [5], we study definable groupoids in stable theories and their relationship with 3-uniqueness and finite internal covers. We introdu...