Resolution methods for the decision problem
Auteur :
Fermuller, C.
Éditeur :
Fermuller, C.Leitsch, Alexander,Tammet, Tanel,Zamov, Nail,
ISBN :
9783540567325
Date de publication :
29 juil. 1993
Dimensions :
23,3 x 15,5 x 1,1 cm
Poids :
700 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This volume contains work on the decision problem done in Kazan (Russia), Tallinn (Estonia) and Vienna (Austria). Among the topics covered are: semantic clash resolution as decision procedure; completeness of ordering refinements; and a resolution based method for building finite models.