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.

Towards Verifying Logic Programs in the Input Language of clingo

Vladimir Lifschitz, Patrick Lühne, Torsten Schaub. Towards Verifying Logic Programs in the Input Language of clingo. In Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner, editors, Fields of Logic and Computation III - Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday. Volume 12180 of Lecture Notes in Computer Science, pages 190-209, Springer, 2020. [doi]

Authors

Vladimir Lifschitz

This author has not been identified. Look up 'Vladimir Lifschitz' in Google

Patrick Lühne

This author has not been identified. Look up 'Patrick Lühne' in Google

Torsten Schaub

This author has not been identified. Look up 'Torsten Schaub' in Google
runs on