DaftarIsitemplate

Call Number

005.16 Bit f

Title

A Uniform syntactical method for proving coinduction principles in X-calculi (Lecture Notes in Computer Science 1214), Hal. 309-320

Author

Marina Lenisa;

Publisher

Springer, 1997

Subject

Location