Sharon Sickel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
1
Active years
1977–1977
Best venue rank
A*
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1977 | IJCAI | Predicate Logic: A Calculus for the Formal Derivation of Programs. | Keith L. Clark, Sharon Sickel |
| 1977 | IJCAI | Formal Grammars as Models of Logic Derivations. | Sharon Sickel |