Auflistung nach Schlagwort "Horn"

Sortiert nach: Sortierung: Ergebnisse:

  • Der Schichtaufbau des tieferen Lias am Egge-Osthang zwischen Horn und Langeland 
    Fischer, Ulrich (Hannover : Universität Hannover. Institut für Geologie und Paläontologie, 1978)
    Am Osthang des Eggegebirges zwischen Horn-Bad-Meinberg und Langeland ist der Lias vom Hettangium bis zum Sinemurium in meist lückenhaften Aufschlüssen erhalten. Aus den Teilprofilen wurde in dieser Arbeit ein Normalprofil ...
  • On the complexity of horn and krom fragments of second-order boolean logic 
    Hannula, Miika; Kontinen, Juha; Lück, Martin; Virtema, Jonni (Saarbrücken/Wadern, Germany : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2021)
    Second-order Boolean logic is a generalization of QBF, whose constant alternation fragments are known to be complete for the levels of the exponential time hierarchy. We consider two types of restriction of this logic: 1) ...