Quantifier Elimination for Second-Order Predicate Logic

Local TagsRelease HistoryDetailsSummary

Quantifier Elimination for Second-Order Predicate Logic

Nonnengart, A., Ohlbach, H. J., & Szalas, A. (2001). Quantifier Elimination for Second-Order Predicate Logic.

Item is Released

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-322E-F Version Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-322F-D

Genre: Other

show

show

hide

Creators:
Nonnengart, Andreas¹, Author
Ohlbach, Hans Jürgen¹, Author
Szalas, Andrzej, Author

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

show

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: 519539
Other: Local-ID: C1256104005ECAFC-6D12EC0552A6B393C125648000356435-NonnengartOhlbachSzalas98

Degree: -

show

show

show

show