Sickel, Sharon

2 publications

IJCAI 1977 Formal Grammars as Models of Logic Derivations Sharon Sickel

IJCAI 1977 Predicate Logic: A Calculus for the Formal Derivation of Programs Keith L. Clark, Sharon Sickel