 | 2000 |
|---|
| 10 |       | N. G. de Bruijn:
Jaap Seidel 80.
Des. Codes Cryptography 21(1/3): 7-10 (2000) |
| 1999 |
|---|
| 9 |  | N. G. de Bruijn:
A Model for Associative Memory, a Basis for Thinking and Consciousness.
ICALP 1999: 74-89 |
| 1998 |
|---|
| 8 | | N. G. de Bruijn:
Philosophical Aspects of Computerized Verification of Mathematics.
TABLEAUX 1998: 1-9 |
| 1994 |
|---|
| 7 | | N. G. de Bruijn:
Highlighting the Lambda-free Fragment of Automath.
TPHOLs 1994: 81-96 |
| 1992 |
|---|
| 6 | | N. 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 |
|---|
| 4 | | N. 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 |
|---|
| 1 | | N. G. de Bruijn:
Additional comments on a problem in concurrent programming control.
Commun. ACM 10(3): 137-138 (1967) |
