Samuel S. P. Shen

Identifiers

No identifiers captured yet.

Papers (1)

1. A Dynamic Approach to Characterizing Termination of General Logic Programs cs.LO · 2002 · author #4

Mentions

No mention provenance yet.

Frequent Coauthors

• Jia-Huai You 1 shared papers
• Li-Yan Yuan 1 shared papers
• Qiang Yang 1 shared papers
• Yi-Dong Shen 1 shared papers