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.

Completeness and Decidability Results for First-Order Clauses with Indices

Abdelkader Kersani, Nicolas Peltier. Completeness and Decidability Results for First-Order Clauses with Indices. In Maria Paola Bonacina, editor, Automated Deduction - CADE-24 - 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings. Volume 7898 of Lecture Notes in Computer Science, pages 58-75, Springer, 2013. [doi]

Authors

Abdelkader Kersani

This author has not been identified. Look up 'Abdelkader Kersani' in Google

Nicolas Peltier

This author has not been identified. Look up 'Nicolas Peltier' in Google
runs on