K. S. H. S. R. Bhatta

Publication Activity (10 Years)

Years Active: 1988-1991
Publications (10 Years): 0

Publications

K. S. H. S. R. Bhatta, Harish Karnick
A Resolution Rule for Well-Formed Formulae. Theor. Comput. Sci. 81 (2) (1991)
K. S. H. S. R. Bhatta, Harish Karnick
A Resolution Rule for Well-Formed Formulae. FSTTCS (1988)