dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Uwe Nestmann (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Nestmann, Benjamin C. Pierce: Decoding Choice Encodings. Inf. Comput. 163(1): 1-59 (2000)
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Nestmann, Benjamin C. Pierce: Preface. Electr. Notes Theor. Comput. Sci. 16(3): 291 (1998)
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Nestmann, Benjamin C. Pierce: Decoding Choice Encodings. CONCUR 1996: 179-194

Selection of 3 from 49 records - Uwe Nestmann has 34 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page