The DP framework for proving termination of term rewriting

von Thiemann, René
Veröffentlicht 2007

Restitution des zellulären Thiolstatus durch Silibinin : Wirkungsnachweis und Identifikation subzellulärer Zielstrukturen in humanen Immunzellen

Veröffentlicht 2007

Size-change termination for term rewriting

von Thiemann, René
Veröffentlicht 2003

Hüttenfit : das betriebliche Gesundheitsmanagement im Hüttenhospital Dortmund

von Kellerhoff, Fabian
Veröffentlicht in Gesundheit und Arbeit 4.0 (2018)

Proving and disproving termination of higher-order functions

von Giesl, Jürgen
Veröffentlicht 2005

Verifying a Solver for Linear Mixed Integer Arithmetic in Isabelle/HOL

von Bottesch, Ralph
Veröffentlicht in NFM (12. : 2020 : Moffett Field, Calif.; Online) NASA formal methods (2020)

Alte Buchenwälder im Nationalpark Jasmund : 1. Forschungsband des Nationalparks Jasmund

von Puffpaff, Stephanie
Veröffentlicht 2017

Logical and semantic frameworks with applications

Veröffentlicht 2019

Alte Buchenwälder im Nationalpark Jasmund

von Puffpaff, Stephanie
Veröffentlicht 2017