Star-free languages are Church–Rosser congruential

Saved in:
Bibliographic Details
Title: Star-free languages are Church–Rosser congruential
Authors: Diekert, Volker1, Kufleitner, Manfred1, kufleitner@fmi.uni-stuttgart.de, Weil, Pascal2,3
Source: Theoretical Computer Science; Oct2012, Vol. 454, p129-135, 7p
Database: Applied Science & Technology Source
Be the first to leave a comment!
You must be logged in first