Frederick Smith (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1 Dexter Kozen, Frederick Smith: Kleene Algebra with Tests: Completeness and Decidability. CSL 1996: 244-259

Selection of 1 from 6 records - Frederick Smith has 11 coauthors