> >

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

No queries for www.csc.liv.ac.uk/~ullrich

View keywords for www.csc.liv.ac.uk/~ullrich.
Back to www.csc.liv.ac.uk