Items where authors include "Krebs, A"

[up] Up a level
Jump to: Article
Number of items: 1.

Article

Beyersdorff, O, Datta, S, Krebs, A et al. (5 more authors) (2013) Verifying proofs in constant depth. ACM Transactions on Computation Theory (TOCT), 5 (1). 2. ISSN 1942-3454

This list was generated on Wed Apr 2 10:03:42 2025 BST.