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

N. G. de Bruijn Vis

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

*2000
10 N. G. de Bruijn: Jaap Seidel 80. Des. Codes Cryptography 21(1/3): 7-10 (2000)
1999
9EEN. G. de Bruijn: A Model for Associative Memory, a Basis for Thinking and Consciousness. ICALP 1999: 74-89
1998
8EEN. G. de Bruijn: Philosophical Aspects of Computerized Verification of Mathematics. TABLEAUX 1998: 1-9
1994
7EEN. G. de Bruijn: Highlighting the Lambda-free Fragment of Automath. TPHOLs 1994: 81-96
1992
6EEN. G. de Bruijn: Penrose patterns are almost entirely determined by two points. Discrete Mathematics 106-107: 97-104 (1992)
1991
5 N. G. de Bruijn: Telescopic Mappings in Typed Lambda Calculus Inf. Comput. 91(2): 189-204 (1991)
1988
4EEN. G. de Bruijn: The use of justification systems for integrated semantics. Conference on Computer Logic 1988: 9-24
1984
3 N. G. de Bruijn: Some Machines Defined bu Directed Graphs. Theor. Comput. Sci. 32: 309-319 (1984)
1972
2 N. G. de Bruijn: Enumeration of Mapping Patterns. J. Comb. Theory, Ser. A 12(1): 14-20 (1972)
1967
1EEN. G. de Bruijn: Additional comments on a problem in concurrent programming control. Commun. ACM 10(3): 137-138 (1967)

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)