This article is rated Stub-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||||||||||||||||||||||||||||||||||||||||||
|
Untitled
editThere is an error in this article, LTL cannot describe all omega regular set. The linear mu-calculus can.
This article is rated Stub-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||||||||||||||||||||||||||||||||||||||||||
|
There is an error in this article, LTL cannot describe all omega regular set. The linear mu-calculus can.