| Tiziana Margaria - Computers - 1996 - 458 pages
...calculus for algebra of regular languages. Manuscript, Kiev State University, 1992. [4] Roland Carl Backhouse. Closure Algorithms and the Star-Height...of Regular Languages. PhD thesis, Imperial College, 1975. [5] Stephen L. Bloom and Zoltan Esik. Equational axioms for regular sets. Technical Report 9101,... | |
| Dov M. Gabbay, Franz Guenthner - Philosophy - 2001 - 456 pages
...Rabin's complementation theorem. Technical report, University of Bordeaux, 1997. [Backhouse, 1975] RC Backhouse. Closure Algorithms and the Star-Height...Regular Languages. PhD thesis, Imperial College, London, UK, 1975. [Backhouse, 1986] RC Backhouse. Program Construction and Verification. PrenticeHall, 1986.... | |
| |