Sharon Sickel

Publication Activity (10 Years)

Years Active: 1976-1977
Publications (10 Years): 0

Publications

Sharon Sickel
Formal Grammars as Models of Logic Derivations. IJCAI (1977)
Keith L. Clark, Sharon Sickel
Predicate Logic: A Calculus for the Formal Derivation of Programs. IJCAI (1977)
Sharon Sickel
A Search Technique for Clause Interconnectivity Graphs. IEEE Trans. Computers 25 (8) (1976)