Diophantine representations of linear recurrent sequences. II M. A. Vsemirnov OriginalPaper Pages: 427 - 441
Separating signs in the propositional satisfiability problem E. A. Hirsch OriginalPaper Pages: 442 - 463
Refinement of bounds of the height of terms in the most general unifier B. Yu. Konev OriginalPaper Pages: 490 - 499
Gradable logical values for knowledge representation N. K. KossovskiiA. V. Tishkov OriginalPaper Pages: 500 - 507