Integration of a Decision Procedure for Second-Order Monadic Logic in a 
Higher-Order Logic Theorem Proving Environment

Friedrich, Stefan

Local TagsRelease HistoryDetailsSummary

Integration of a Decision Procedure for Second-Order Monadic Logic in a Higher-Order Logic Theorem Proving Environment

Friedrich, S. (1998). Integration of a Decision Procedure for Second-Order Monadic Logic in a Higher-Order Logic Theorem Proving Environment. Master Thesis, Universität des Saarlandes, Saarbrücken.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-3849-3 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-AD01-5

Genre: Thesis

Files

show Files

Locators

show

Creators

show

hide

Creators:
Friedrich, Stefan¹, Author

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

Content

show

Details

show

hide

Language(s): eng - English

Dates: Modified: 2010-03-12Accepted: 1998Date issued: 1998

Publication Status: Issued

Pages: -

Publishing info: Saarbrücken : Universität des Saarlandes

Table of Contents: -

Rev. Type: -

Identifiers: eDoc: 519699
Other: Local-ID: C1256104005ECAFC-80E2C31FDE690B3DC12567450054B4F5-Friedrich-Diplom98

Degree: Master

Event

show

Legal Case

show

Project information

show

Source

show