G. Lindhorst

Publication Activity (10 Years)

Years Active: 1989-1989
Publications (10 Years): 0

Publications

G. Lindhorst, Farhad Shahrokhi
On Renaming a Set of Clauses as a Horn Set. Inf. Process. Lett. 30 (6) (1989)