Computing small clause normal forms

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

DetailsSummary

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 Released

show all hide all

Basic

show hide

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

Genre: Book Chapter

Files

show Files

Locators

show

Creators

show

hide

Creators:
Nonnengart, Andreas¹, Author
Weidenbach, Christoph^{1, 2}, Author

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

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: 519882
Other: Local-ID: C1256104005ECAFC-902E7096658DF7FFC1256753004DA0DF-NonnengartWeidenbach2001handbook

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: 335 - 367 Identifier: -