External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Explaining Program Execution in Deductive Systems

Tarun Arora, Raghu Ramakrishnan, William G. Roth, Praveen Seshadri, Divesh Srivastava. Explaining Program Execution in Deductive Systems. In LPE. pages 1-7, 1993.

Authors

Tarun Arora

This author has not been identified. Look up 'Tarun Arora' in Google

Raghu Ramakrishnan

This author has not been identified. Look up 'Raghu Ramakrishnan' in Google

William G. Roth

This author has not been identified. Look up 'William G. Roth' in Google

Praveen Seshadri

This author has not been identified. Look up 'Praveen Seshadri' in Google

Divesh Srivastava

This author has not been identified. Look up 'Divesh Srivastava' in Google
runs on