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.

Writing Declarative Specifications for Clauses

Martin Gebser, Tomi Janhunen, Roland Kaminski, Torsten Schaub, Shahab Tasharrofi. Writing Declarative Specifications for Clauses. In Loizos Michael, Antonis C. Kakas, editors, Logics in Artificial Intelligence - 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings. Volume 10021 of Lecture Notes in Computer Science, pages 256-271, 2016. [doi]

Authors

Martin Gebser

This author has not been identified. Look up 'Martin Gebser' in Google

Tomi Janhunen

This author has not been identified. Look up 'Tomi Janhunen' in Google

Roland Kaminski

This author has not been identified. Look up 'Roland Kaminski' in Google

Torsten Schaub

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

Shahab Tasharrofi

This author has not been identified. Look up 'Shahab Tasharrofi' in Google
runs on