Formula Renaming with Generalizations

Azmy, Noran

Item

ITEM ACTIONSEXPORT

DownloadE-Mail

Please note that a newer version of this item is available:
https://pure.mpg.de/pubman/item/item_1857508_6

DetailsSummary

Formula Renaming with Generalizations

Azmy, N. (2012). Formula Renaming with Generalizations. 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-0014-B40C-0 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0028-18C1-E

Genre: Thesis

Files

show Files

Locators

show

Creators

show

hide

Creators:
Azmy, Noran^{1, 2}, Author
Weidenbach, Christoph¹, Advisor
Werner, Stephan³, Referee

Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545
2International Max Planck Research School, MPI for Informatics, Max Planck Society, Campus E1 4, 66123 Saarbrücken, DE, ou_1116551
3External Organizations, ou_persistent22

Content

show

Details

show

hide

Language(s): eng - English

Dates: Accepted: 2012Date issued: 2012

Publication Status: Issued

Pages: -

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

Table of Contents: -

Rev. Type: -

Identifiers: BibTex Citekey: Azmy12
Other: Local-ID: DF824D161A8C2600C1257AF6004FEBFF-Azmy12

Degree: Master

Event

show

Legal Case

show

Project information

show

Source

show