tr-announce December 2004

tr-announce@lists.rwth-aachen.de
  • 1 participants
  • 3 discussions

2004-08: Algebraic Correctness Proofs for Compiling Recursive Function Definitions with Strictness Information
by Volker Stolz
19 years, 5 months

2004-10: Secure Multi-Party Computation with Security Modules
by Volker Stolz
19 years, 5 months

2004-09: Parameterized Power Domination Complexity
by Volker Stolz
19 years, 5 months
Results per page: