Hustadt, Ullrich

Hustadt, Ullrich
All Links

Share this:

Details of Hustadt, Ullrich

About Hustadt, Ullrich
Hustadt, Ullrich- University of Liverpool - Resolution-based and tableaux-based decision procedures for decidable fragments of first-order logic.
Education