1995
An algebraic view of structural induction
Publication
Publication
Presented at the
International Conference on Computer Science Logic, Kazimierz, Poland
Additional Metadata | |
---|---|
, , | |
Springer | |
Lecture Notes in Computer Science | |
International Conference on Computer Science Logic | |
Hermida, C., & Jacobs, B. P. F. (1995). An algebraic view of structural induction. In Computer Science Logic 1994 (CSL 8) (pp. 412–426). Springer. |