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.

Proof Support for Common Logic

Till Mossakowski, Mihai Codescu, Oliver Kutz, Christoph Lange 0002, Michael Grüninger. Proof Support for Common Logic. In Christoph Benzmüller, Jens Otten, editors, Automated Reasoning in Quantified Non-Classical Logics, ARQNL@IJCAR 2014, Vienna, Austria, July 23, 2014. Volume 33 of EPiC Series in Computing, pages 42-58, EasyChair, 2014. [doi]

Authors

Till Mossakowski

This author has not been identified. It may be one of the following persons: Look up 'Till Mossakowski' in Google

Mihai Codescu

This author has not been identified. Look up 'Mihai Codescu' in Google

Oliver Kutz

This author has not been identified. Look up 'Oliver Kutz' in Google

Christoph Lange 0002

This author has not been identified. Look up 'Christoph Lange 0002' in Google

Michael Grüninger

This author has not been identified. Look up 'Michael Grüninger' in Google
runs on