„neededness“

Suchergebnisse

1 Treffer

• Normalisation for Dynamic Pattern Calculi
  Bonelli, Eduardo ; Kesner, Delia ; Lombardi, Carlos ; Rios, Alejandro 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik