dblp.uni-trier.dewww.uni-trier.de

Sharon Sickel Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1977
3 Keith L. Clark, Sharon Sickel: Predicate Logic: A Calculus for the Formal Derivation of Programs. IJCAI 1977: 419-420
2 Sharon Sickel: Formal Grammars as Models of Logic Derivations. IJCAI 1977: 544-551
1976
1 Sharon Sickel: A Search Technique for Clause Interconnectivity Graphs. IEEE Trans. Computers 25(8): 823-835 (1976)

Coauthor Index

1Keith L. Clark [3]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)