Browse by Keywords - C

Select the first letter of the keywords to browse

There are 2 record/s using the keyword/s: coinduction.

View 25 / 50 / ALL records per page.

TitleDateCreatorPublication TypeInstitution
Indexed Induction And Coinduction, Fibrationally2013Johann, Patricia FacultyComputer Science, ASU
Structural Resolution for Automated Verification2015Johann, Patricia FacultyComputer Science, ASU