11 search results - page 3 / 3 » Zero-Knowledge Proofs with Witness Elimination |
161
click to vote
JSYML
2010
15 years 12 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...