Bal Wang

According to our database, Bal Wang authored at least 4 papers between 1989 and 1994.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1994

A Methodology for Provin Termination of Logic Programs.

R. K. Shyamasundar, Bal Wang

J. Log. Program., 1994

1991

Methodology for Proving the Termination of Logic Programs.

Bal Wang, R. K. Shyamasundar

Proceedings of the STACS 91, 1991

1990

Towards a Characterization of Termination of Logic Programs.

Bal Wang, R. K. Shyamasundar

Proceedings of the Programming Language Implementation and Logic Programming, 1990

1989

Proving Termination of Logic Programs.

Bal Wang, R. K. Shyamsundar

Proceedings of the A Perspective in Theoretical Computer Science, 1989