> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: The Expressivity of Quantifying over Regions Beteiligte: Davis, E. Erschienen: Oxford University Press (OUP), 2006 Erschienen in: Journal of Logic and Computation Sprache: Englisch DOI: 10.1093/logcom/exl020 ISSN: 0955-792X; 1465-363X Schlagwörter: Logic ; Hardware and Architecture ; Arts and Humanities (miscellaneous) ; Software ; Theoretical Computer Science Entstehung: Anmerkungen: