BibTeX-Export: 1 Datensatz f{\"u}r alle [global] @inproceedings{TUW-180512, author = {Kirner, Raimund and Zimmermann, Wolf and Richter, Dirk}, title = {On Undecidability Results of Real Programming Languages}, booktitle = {15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009)}, year = {2009}, editor = {Knoop, Jens and Prantl, Adrian}, pages = {141--154}, publisher = {Schriftenreihe des Instituts f{\"u}r Computersprachen, TU Wien}, address = {Bericht 2009-X-1}, note = {talk: 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009), Maria Taferl; 2009-10-12 -- 2009-10-14} } 1 Datensatz ausgegeben