Vladimir S. Neiman

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1991

3 Vladimir S. Neiman: Deduction with Generalized Terms. RCLP 1991: 338-348

1990

2 Vladimir S. Neiman: Refutation Search for Horn Sets by a Subgoal-Extraction Method. J. Log. Program. 9(2&3): 267-284 (1990)

1988

1 Vladimir S. Neiman: On the problem of reducing search in logic program execution. Conference on Computer Logic 1988: 232-241

	1991
3		Vladimir S. Neiman: Deduction with Generalized Terms. RCLP 1991: 338-348
	1990
2		Vladimir S. Neiman: Refutation Search for Horn Sets by a Subgoal-Extraction Method. J. Log. Program. 9(2&3): 267-284 (1990)
	1988
1		Vladimir S. Neiman: On the problem of reducing search in logic program execution. Conference on Computer Logic 1988: 232-241