Media type: E-Book; Thesis Title: A Framework for Defining Declarative Languages Contributor: Horozal, Feryal Fulya [Verfasser]; Kohlhase, Michael [Akademischer Betreuer]; Hutter, Dieter [Akademischer Betreuer]; Jäger, Herbert [Akademischer Betreuer]; Mossakowski, Till [Akademischer Betreuer]; Schürmann, Carsten [Akademischer Betreuer] imprint: Bremen: IRC-Library, Information Resource Center der Jacobs University Bremen, 2014 Extent: Online-Ressource Language: English Identifier: Keywords: Declarative languages ; Logical frameworks ; Hochschulschrift Origination: University thesis: Bremen, Jacobs Univ., Diss., 2014 Footnote: Access State: Open Access