52

Satisfiability of formulae with one ∀ is decidable in exponential time

Year:
1990
Language:
english
File:
PDF, 645 KB
english, 1990
53

Open lung biopsy in diffuse pulmonary disease

Year:
1981
Language:
english
File:
PDF, 197 KB
english, 1981
54

0-1 laws for recursive structures

Year:
1999
Language:
english
File:
PDF, 83 KB
english, 1999
55

Undecidability results on two-variable logics

Year:
1999
Language:
english
File:
PDF, 260 KB
english, 1999
56

Fixed-Point Logics and Solitaire Games

Year:
2004
Language:
english
File:
PDF, 288 KB
english, 2004
57

Finite Presentations of Infinite Structures: Automata and Interpretations

Year:
2004
Language:
english
File:
PDF, 418 KB
english, 2004
58

The Variable Hierarchy of the μ-Calculus Is Strict

Year:
2007
Language:
english
File:
PDF, 391 KB
english, 2007
59

Model Checking Games for the Quantitativeμ-Calculus

Year:
2010
Language:
english
File:
PDF, 675 KB
english, 2010
62

Capturing complexity classes by fragments of second-order logic

Year:
1992
Language:
english
File:
PDF, 1.45 MB
english, 1992
64

Backtracking games and inflationary fixed points

Year:
2006
Language:
english
File:
PDF, 265 KB
english, 2006
65

Model Checking Games

Year:
2002
Language:
english
File:
PDF, 1.27 MB
english, 2002
75

Investigations in the 4[3H]-quinazolone series

Year:
1981
Language:
english
File:
PDF, 392 KB
english, 1981
79

Simple sentences that are hard to decide

Year:
1991
Language:
english
File:
PDF, 1.03 MB
english, 1991