Lawrence Yelowitz
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| scientific article; zbMATH DE number 3628351 (Why is no real title available?) | 1979-01-01 | Paper |
| Data structures and program correctness: Bridging the gap Computer Languages | 1978-01-01 | Paper |
| An Efficient Algorithm for Constructing Hierarchical Graphs IEEE Transactions on Systems, Man, and Cybernetics | 1976-01-01 | Paper |
| New Results and Techniques in Resolution Theory IEEE Transactions on Computers | 1976-01-01 | Paper |
| Loop unravelling: a practical tool in proving program correctness Information Processing Letters | 1975-01-01 | Paper |
| Derivation of a Path-Connectivity Matrix for Tagged Flowcharts Journal of the ACM | 1975-01-01 | Paper |
| Fuzzy Chains IEEE Transactions on Systems, Man, and Cybernetics | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3407135 (Why is no real title available?) | 1971-01-01 | Paper |
Research outcomes over time
This page was built for person: Lawrence Yelowitz
