External Links

Cite Key

Statistics

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

PDF

Tags

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.

Logic Programming and Model Checking

Baoqiu Cui, Yifei Dong, Xiaoqun Du, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Abhik Roychoudhury, Scott A. Smolka, David Scott Warren. Logic Programming and Model Checking. In Catuscia Palamidessi, Hugh Glaser, Karl Meinke, editors, Principles of Declarative Programming, 10th International Symposium, PLILP 98 Held Jointly with the 7th International Conference, ALP 98, Pisa, Italy, September 16-18, 1998, Proceedings. Volume 1490 of Lecture Notes in Computer Science, pages 1-20, Springer, 1998. [doi]

Authors

Baoqiu Cui

This author has not been identified. Look up 'Baoqiu Cui' in Google

Yifei Dong

This author has not been identified. Look up 'Yifei Dong' in Google

Xiaoqun Du

This author has not been identified. Look up 'Xiaoqun Du' in Google

K. Narayan Kumar

This author has not been identified. Look up 'K. Narayan Kumar' in Google

C. R. Ramakrishnan

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

I. V. Ramakrishnan

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

Abhik Roychoudhury

This author has not been identified. Look up 'Abhik Roychoudhury' in Google

Scott A. Smolka

This author has not been identified. Look up 'Scott A. Smolka' in Google

David Scott Warren

This author has not been identified. Look up 'David Scott Warren' in Google
runs on