Co-Induction in Relational Semantics

Theoretical Computer Science - Netherlands
doi 10.1016/0304-3975(91)90033-x
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Elsevier BV


Related search