Ergebnisse einschränken
Dokumententyp
Institution
Spezialsammlung
Sprache
- Englisch (1)
Autor
- Bruttomesso, Roberto (1)
-
Rollini, Simone (1)
- Sharygina, Natasha (1)
- Tsitovich, Aliaksei (1)
Schlagwort
- Craig interpolation (1)
- Formal verification (1)
- Proof compression (1)
- Resolution system (1)