Eike Ritter
2 published titles
Reductive logic and proof-search : proof theory, semantics, and control
(Contributor)
1 edition
- ISBN: 0198526334
- Clarendon Press
- 2004
- Details
The trustworthy elections : remote electronic voting using trusted computing
(Contributor)
1 edition
- School of Computer Science, University of Birmingham
- 2010
- Details
