| RUS ENG |
| Full version |
|
|
|
| JOURNALS // Zapiski Nauchnykh Seminarov POMI // Archive |
|
1997, Volume 241
|
| | | General information | | | Contents | | |
|
Diophantine representations of linear recurrent sequences. II M. A. Vsemirnov |
5 | |
|
|
Separating sings in the propositional satisfiability problem E. A. Hirsch |
30 | |
|
|
Number representations of satisfiability G. V. Davydov, I. M. Davydova |
72 | |
|
|
Probabilistic verification of proofs in calculuses E. Ya. Dantsin |
97 | |
|
|
Refinement of bounds of the heights of terms in the most general unifer B. Yu. Konev |
117 | |
|
|
Gradable logical values for knowlege representation N. K. Kossovski, A. V. Tishkov |
135 | |