Combining Superposition, Sorts and Splitting

Weidenbach, Christoph

Datensatz

DATENSATZ AKTIONENEXPORT

DownloadE-Mail

Bitte beachten Sie, dass eine neuere Version dieses Datensatzes verfügbar ist:
https://pure.mpg.de/pubman/item/item_1330615_3

DetailsÜbersicht

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 Freigegeben

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:

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

Genre: Buchkapitel

ausblenden:

Urheber:
Weidenbach, Christoph^{1, 2}, Autor

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