Search Results for 'Coinductive-List'

Coinductive-List published presentations and documents on DocSlides.

Behavioral Rewrite Systems

by lindy-dunigan

and Behavioral Productivity. Grigore Rosu (Univer...

Inductive definitions:

by tawny-fly

S is the smallest set that contains some set I of...