52

Clausal temporal resolution

Year:
2001
Language:
english
File:
PDF, 271 KB
english, 2001
63

Alternating automata and temporal logic normal forms

Year:
2005
Language:
english
File:
PDF, 281 KB
english, 2005
72

Reviews

Year:
2016
Language:
english
File:
PDF, 970 KB
english, 2016
73

Primhe: primary care mental health & education

Year:
2007
Language:
english
File:
PDF, 159 KB
english, 2007
92

Mechanising first-order temporal resolution

Year:
2005
Language:
english
File:
PDF, 459 KB
english, 2005