Gary Lindstrom
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 |
|---|---|---|
| Automated Technology for Verification and Analysis Lecture Notes in Computer Science | 2006-10-10 | Paper |
| scientific article; zbMATH DE number 1728424 (Why is no real title available?) | 2002-04-15 | Paper |
| scientific article; zbMATH DE number 4178742 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 3995026 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3945331 (Why is no real title available?) | 1986-01-01 | Paper |
| Elliott I. Organick (1925-1985) Communications of the ACM | 1986-01-01 | Paper |
| Referencing and Retention in Block-Structured Coroutines ACM Transactions on Programming Languages and Systems | 1981-01-01 | Paper |
| Backtracking in a Generalized Control Setting ACM Transactions on Programming Languages and Systems | 1979-01-01 | Paper |
| Algorithms for list structure condensation International Journal of Computer & Information Sciences | 1974-01-01 | Paper |
| Control extension in a recursive language BIT | 1973-01-01 | Paper |
Research outcomes over time
This page was built for person: Gary Lindstrom
