Certified size-change termination

 |  Alexander Krauss

In: Frank Pfenning, editor, Automated Deduction (CADE-21) (Alexander Krauss) zum Artikel

Alexander Krauss
Ein Beitrag von
Alexander Krauss

Alexander Krauss ist Business Unit Director bei QAware. Er verantwortet den technischen Erfolg von Projekten im Bereich der IT-Sicherheit, unter[...]

Mehr Informationen
Alexander
Chatbot
Schliessen