Title of article

On the Complexity of Reasoning in Kleene Algebra

Author/Authors

Dexter Kozen، نويسنده ,

Issue Information

روزنامه با شماره پیاپی سال 2002

Pages

11

From page

152

To page

162

Journal title

Information and Computation

Serial Year

2002

Journal title

Information and Computation

Record number

262104