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

Hanno Nickau (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


4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew D. Ker, Hanno Nickau, C.-H. Luke Ong: Adapting innocent game models for the Böhm treelambda -theory. Theor. Comput. Sci. 308(1-3): 333-366 (2003)
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew D. Ker, Hanno Nickau, C.-H. Luke Ong: Innocent game models of untyped lambda-calculus. Theor. Comput. Sci. 272(1-2): 247-292 (2002)
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew D. Ker, Hanno Nickau, C.-H. Luke Ong: A Universal Innocent Game Model for the Böhm Tree Lambda Theory. CSL 1999: 405-419

Selection of 3 from 4 records - Hanno Nickau has 2 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