Formula Renaming with Generalizations

Azmy, Noran

Lokale TagsFreigabegeschichteDetailsÜbersicht

Formula Renaming with Generalizations

Azmy, N. (2012). Formula Renaming with Generalizations. Master Thesis, Universität des Saarlandes, Saarbrücken.

Item is Freigegeben

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:

Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-B40C-0 Versions-Permalink: https://hdl.handle.net/21.11116/0000-000E-33B1-0

Genre: Hochschulschrift

ausblenden:

Urheber:
Azmy, Noran^{1, 2}, Autor
Weidenbach, Christoph¹, Ratgeber
Werner, Stephan³, Gutachter

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