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.

Proceedings of the 2nd International Workshop Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2016) affiliated with the International Joint Conference on Automated Reasoning (IJCAR 2016)., Coimbra, Portugal, July 1, 2016

Christoph Benzmüller, Jens Otten, editors, Proceedings of the 2nd International Workshop Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2016) affiliated with the International Joint Conference on Automated Reasoning (IJCAR 2016)., Coimbra, Portugal, July 1, 2016. Volume 1770 of CEUR Workshop Proceedings, CEUR-WS.org, 2016. [doi]

Conference: cade2016

Editors

Christoph Benzmüller

This author has not been identified. Look up 'Christoph Benzmüller' in Google

Jens Otten

This author has not been identified. Look up 'Jens Otten' in Google
runs on