Computing small clause normal forms

Nonnengart, Andreas; 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_1330618_3

DetailsÜbersicht

Computing small clause normal forms

Nonnengart, A., & Weidenbach, C. (2001). Computing small clause normal forms. In A. Robinson, & A. Voronkov (Eds.), Handbook of Automated Reasoning (pp. 335-367). Amsterdam: Elsevier.

Item is Freigegeben

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:

Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-31F8-D Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-B4D7-A

Genre: Buchkapitel

ausblenden:

Urheber:
Nonnengart, Andreas¹, Autor
Weidenbach, Christoph^{1, 2}, Autor

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