DMCA

Kleene algebra with tests: Completeness and decidability (1996)

by Dexter Kozen , Frederick Smith
Venue:IN PROC. OF 10TH INTERNATIONAL WORKSHOP ON COMPUTER SCIENCE LOGIC (CSL’96
Citations:34 - 15 self