Lothar Schmitz

Available identifiers

zbMath Open schmitz.lotharMaRDI QIDQ802879

List of research outcomes

Publication	Date of Publication	Type
Program development with control abstractions.	2012-03-19	Paper
https://portal.mardi4nfdi.de/entity/Q4035704	1993-05-18	Paper
An efficient recognizer for the Boolean closure of context-free languages	1991-01-01	Paper
On the correct elimination of chain productions from lr parsers	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3340115	1984-01-01	Paper
An improved transitive closure algorithm	1983-01-01	Paper
An exercise in program synthesis: algorithms for computing the transitive closure of a relation	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4746807	1982-01-01	Paper

Research outcomes over time

This page was built for person: Lothar Schmitz