„Foundations of Computer Science“

Suchergebnisse

3 Treffer

• A Model-Theoretic Approach for Recovering Consistent Data from Inconsistent Knowledge Bases
  Arieli, Ofer ; Avron, Arnon
• Formally-Verified Round-Off Error Analysis of Runge–Kutta Methods
  Faissole, Florian
• Decision Procedures for the Security of Protocols with Probabilistic Encryption against Offline Dictionary Attacks
  Delaune, Stéphanie ; Jacquemard, Florent