Song Yuan Yan

Publication Activity (10 Years)

Years Active: 1990-1990
Publications (10 Years): 0

Publications

Song Yuan Yan
Foundations of Declarative Debugging in Arbitrary Logic Programming. Int. J. Man Mach. Stud. 32 (2) (1990)
Song Yuan Yan
Foundations of declarative testing in arbitrary logic programming. Int. J. Comput. Math. 34 (3-4) (1990)