Proof Representations for Higher-Order Logic

Rizkallah, Christine

Local TagsRelease HistoryDetailsSummary

Proof Representations for Higher-Order Logic

Rizkallah, C. (2009). Proof Representations for Higher-Order Logic. 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-0027-BA90-4 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0027-BA91-2

Genre: Thesis

Files

show Files

hide Files

:

Master'sThesis_ChristineRizkallah_2009.pdf (Any fulltext), 494KB

File Permalink:
-

Name:
Master'sThesis_ChristineRizkallah_2009.pdf

Description:
-

OA-Status:

Visibility:
Restricted (Max Planck Institute for Informatics, MSIN; )

MIME-Type / Checksum:
application/pdf

Technical Metadata:

Copyright Date:
-

Copyright Info:
-

License:
-

Locators

show

Creators

show

hide

Creators:
Rizkallah, Christine^{1, 2}, Author
Brown, Chad³, Advisor
Smolka, Gert³, Referee

Affiliations:
1Algorithms and Complexity, MPI for Informatics, Max Planck Society, ou_24019
2International Max Planck Research School, MPI for Informatics, Max Planck Society, ou_1116551
3External Organizations, ou_persistent22

Content

show

Details

show

hide

Language(s): eng - English

Dates: Accepted: 2009-12Date issued: 2009

Publication Status: Issued

Pages: -

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

Table of Contents: -

Rev. Type: -

Identifiers: BibTex Citekey: Rizkallah2009

Degree: Master

Event

show

Legal Case

show

Project information

show

Source

show