DaftarIsitemplate

Call Number

005.16 Bit f

Title

Termination proofs using gpo ordering constraints (LNCS-Lecture Notes in Computer Science 1214), Hal. 249-260

Author

Thomas Gennet and Isabelle Gnaedig;

Publisher

Springer, 1997

Subject

Location