Manoj K. Raut

	2007
3		Arindama Singh, Manoj K. Raut: An algorithm for computing theory prime implicates in first order logic. IJICT 1(1): 4-13 (2007)
	2004
2		Manoj K. Raut, Arindama Singh: Prime Implicates of First Order Formulas. IJCSA 1(1): 1-11 (2004)
1		Manoj K. Raut, Arindama Singh: Prime implicants of first order formulas via transversal clauses. Int. J. Comput. Math. 81(2): 157-167 (2004)

Coauthor Index

1

Arindama Singh

[1] [2] [3]