Combining Superposition, Sorts and Splitting

Weidenbach, Christoph

Item

ITEM ACTIONSEXPORT

Add to Basket

Please note that a newer version of this item is available:
https://pure.mpg.de/pubman/item/item_1330615_3

DetailsSummary

Combining Superposition, Sorts and Splitting

Weidenbach, C. (2001). Combining Superposition, Sorts and Splitting. In A. Robinson, & A. Voronkov (Eds.), Handbook of Automated Reasoning (pp. 1965-2013). Amsterdam: Elsevier.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-31F3-8 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-B4D8-8

Genre: Book Chapter

Files

show Files

Locators

show

Creators

show

hide

Creators:
Weidenbach, Christoph^{1, 2}, Author

Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545
2Programming Logics, MPI for Informatics, Max Planck Society, ou_40045

Content

show

Details

show

hide

Language(s): eng - English

Dates: Modified: 2010-03-12Date issued: 2001

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: -

Identifiers: eDoc: 519880
Other: Local-ID: C1256104005ECAFC-8B16166D7E7AE98BC1256AB6003075F2-Weidenbach2001handbook

Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show

hide

Title: Handbook of Automated Reasoning

Source Genre: Book

Creator(s):
Robinson, Alan, Editor
Voronkov, Andrei¹, Editor

Affiliations:
1 Programming Logics, MPI for Informatics, Max Planck Society, ou_40045

Publ. Info: Amsterdam : Elsevier

Pages: - Volume / Issue: 1 Sequence Number: - Start / End Page: 1965 - 2013 Identifier: -