Global ETD Search

Guarded logics : algorithms and bisimulation

Hirsch, ColinPublikationsserver der RWTH Aachen University2002

For many practical applications of logic-based methods there is a requirement to balance expressive power against computational tractability. Both identifying decidable sub-classes of first-order logic, and extending modal logic to larger, but nevertheless efficiently solvable languages has been a …

aachen Repository record for Guarded logics : algorithms and bisimulation (opens in a new tab)

Informationsverdichtung von Modellen in der Aussagenlogik und das P-NP-Problem

Lieberherr, KarlETH Zürich1977

ethz Repository record for Informationsverdichtung von Modellen in der Aussagenlogik und das P-NP-Problem (opens in a new tab)

Vom Denken in Begriffen: Mathematik als Experiment des reinen Denkens

Wittenberg, Alexander IsraelETH Zürich1957

ethz Repository record for Vom Denken in Begriffen: Mathematik als Experiment des reinen Denkens (opens in a new tab)

Logic and games on automatic structures

Kaiser, LukaszPublikationsserver der RWTH Aachen University2008

The evaluation of a logical formula can be viewed as a game played by two opponents, one trying to show that the formula is true and the other trying to prove it false. This correspondence is exploited algorithmically to evaluate formulas of first and second-order logic on finite structures. We …

aachen Repository record for Logic and games on automatic structures (opens in a new tab)