Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

21

LICS
1997
IEEE

favoriteEmaildiscussreport

139views Automated Reasoning» more LICS 1997»

On the Complexity of Reasoning in Kleene Algebra

13 years 9 months ago

On the Complexity of Reasoning in Kleene Algebra

Download www.cs.cornell.edu

Dexter Kozen

Real-time Traffic

Automated Reasoning | LICS 1997 |

claim paper

Related Content

» Synchronous Kleene algebra

» Proof Theory for Kleene Algebra

» Equational Axioms of Test Algebra

» On Hoare Logic and Kleene Algebra with Tests

» Local variable scoping and Kleene algebra with tests

» Automated Reasoning in Kleene Algebra

» KATML an interactive theorem prover for Kleene algebra with tests

» Certification of Compiler Optimizations Using Kleene Algebra with Tests

» Concurrent Kleene Algebra

Post Info
More Details (n/a)

Added	06 Aug 2010
Updated	06 Aug 2010
Type	Conference
Year	1997
Where	LICS
Authors	Dexter Kozen

Comments (0)