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.

Cutting Down the TPTP Language (And Others)

Nahku Saidy, Hanna Siegfried, Stephan Schulz 0001, Geoff Sutcliffe. Cutting Down the TPTP Language (And Others). In Pascal Fontaine, Konstantin Korovin, Ilias S. Kotsireas, Philipp Rümmer, Sophie Tourret, editors, Joint Proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SC-Square) Workshop, 2020 co-located with the 10th International Joint Conference on Automated Reasoning (IJCAR 2020), Paris, France, June-July, 2020 (Virtual). Volume 2752 of CEUR Workshop Proceedings, pages 134-147, CEUR-WS.org, 2020. [doi]

Authors

Nahku Saidy

This author has not been identified. Look up 'Nahku Saidy' in Google

Hanna Siegfried

This author has not been identified. Look up 'Hanna Siegfried' in Google

Stephan Schulz 0001

This author has not been identified. Look up 'Stephan Schulz 0001' in Google

Geoff Sutcliffe

This author has not been identified. It may be one of the following persons: Look up 'Geoff Sutcliffe' in Google
runs on