MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Kleene Algebra with Tests Completeness and Decidability." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Kleene Algebra with Tests: Completeness and Decidability
by Dexter Kozen, Frederick Smith — 1996 — Proc. 10th Int. Workshop Computer Science Logic (CSL'96), volume 1258 of Lecture Notes in Computer Science
…Kleene Algebra with Tests: Completeness and Decidability Dexter Kozen kozen…
Cited by 18 (9 self) – Add To MetaCart

Resume
by Frederick M. Smith, Erbilt Univerity, Summa Cum Laude
… and Greg Morrisett Kleene Algebra with Tests: Completeness and Decidability Proc. of the 10th…
Add To MetaCart

Research & Teaching Experience ffl Research Assistant 1997-present
by Greg Morrisett, Dexter Kozen
…-78. Frederick Smith and Greg Morrisett 6. Kleene Algebra with Tests: Completeness and Decidability Proc…
Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB