N. K. Zamov

According to our database, N. K. Zamov authored at least 4 papers between 1987 and 1993.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1993

Resolution Methods for the Decision Problem

Christian G. Fermüller, Alexander Leitsch, Tanel Tammet, N. K. Zamov

Lecture Notes in Computer Science 679, Springer, ISBN: 3-540-56732-1, 1993

1990

Deductive Synthesis of Solutions for Technological Tasks.

V. J. Mikhailov, N. K. Zamov

J. Log. Program., 1990

1989

Maslov's Inverse Method and Decidable Classes.

N. K. Zamov

Ann. Pure Appl. Log., 1989

1987

On a Connection Between the Resolution Method and the Inverse Method.

N. K. Zamov

Proceedings of the Fundamentals of Computation Theory, 1987