2 Ergebnisse.

Parity games, separations, and the modal µ-calculus

Dittmann, Christoph

Die Themen dieser Dissertation sind der modale µ-Kalkül und Paritätsspiele. Der modale µ-Kalkül ist eine häufig eingesetzte Logik im Bereich des Model-Checkings in der Informatik. Das Model-Checking-Problem des modalen µ-Kalküls ist polynomialzeitäquivalent zum Lösen von Paritätsspielen, einem 2-Spielerspiel auf beschrifteten, gerichteten Graphen. Wir präsentieren die ersten FPT-Algorithmen (fixed-parameter tractable) für das Model-Checking-Pr...

CHF 18.90

Kunst und Eros

Dittmann, Lorenz / Jehle, Oliver / Kliemann, Julian / Le Rider, Jacques / Lorenz, Ulrike / Schneemann, Peter J. / Springer, Peter / Wagner, Christoph / Wagner, Christoph

Die Beziehungen von Kunst und Eros gehören zu den archetypischen Leitmotiven der Kunstgeschichte. In diesem Feld vereinen sich ästhetische Passion, rauschhafter Genuss, Voyeurismus, Ekel und Verführung.

CHF 41.50

.lang-group, .lang-btn { display: inline-block !important; } .lang-list {display: none;}