Inferring Uniquely Terminating Regular Languages from Positive Data

Erkki Mäkinen. Inferring Uniquely Terminating Regular Languages from Positive Data. Inf. Process. Lett., 62(2):57-60, 1997. [doi]

Authors

Erkki Mäkinen

This author has not been identified. Look up 'Erkki Mäkinen' in Google