The following pages link to Lothar Schmitz (Q802879):
Displaying 9 items.
- An efficient recognizer for the Boolean closure of context-free languages (Q802880) (← links)
- An exercise in program synthesis: algorithms for computing the transitive closure of a relation (Q1162146) (← links)
- (Q1836308) (redirect page) (← links)
- An improved transitive closure algorithm (Q1836309) (← links)
- (Q3225371) (← links)
- On the correct elimination of chain productions from lr parsers (Q3318137) (← links)
- (Q3340115) (← links)
- (Q4035704) (← links)
- (Q4746807) (← links)