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 |
|---|---|---|
| Program development with control abstractions. | 2012-03-19 | Paper |
| scientific article; zbMATH DE number 176537 (Why is no real title available?) | 1993-05-18 | Paper |
| An efficient recognizer for the Boolean closure of context-free languages Theoretical Computer Science | 1991-01-01 | Paper |
| On the correct elimination of chain productions from lr parsers International Journal of Computer Mathematics | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3874577 (Why is no real title available?) | 1984-01-01 | Paper |
| An improved transitive closure algorithm Computing | 1983-01-01 | Paper |
| An exercise in program synthesis: algorithms for computing the transitive closure of a relation Science of Computer Programming | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3802837 (Why is no real title available?) | 1982-01-01 | Paper |
Research outcomes over time
This page was built for person: Lothar Schmitz
