N. G. de Bruijn

Publication Activity (10 Years)

Years Active: 1967-2006
Publications (10 Years): 0

Publications

N. G. de Bruijn, Rolf Richberg
Sum of a Series: 11131. Am. Math. Mon. 113 (7) (2006)
N. G. de Bruijn
Problem 11131. Am. Math. Mon. 112 (2) (2005)
N. G. de Bruijn
Jaap Seidel 80. Des. Codes Cryptogr. 21 (1/3) (2000)
N. G. de Bruijn
A Model for Associative Memory, a Basis for Thinking and Consciousness. ICALP (1999)
N. G. de Bruijn
Philosophical Aspects of Computerized Verification of Mathematics. TABLEAUX (1998)
N. G. de Bruijn
Highlighting the Lambda-free Fragment of Automath. TPHOLs (1994)
N. G. de Bruijn
Penrose patterns are almost entirely determined by two points. Discret. Math. (1992)
N. G. de Bruijn
Telescopic Mappings in Typed Lambda Calculus Inf. Comput. 91 (2) (1991)
N. G. de Bruijn
The use of justification systems for integrated semantics. Conference on Computer Logic (1988)
N. G. de Bruijn
Some Machines Defined bu Directed Graphs. Theor. Comput. Sci. 32 (1984)
N. G. de Bruijn
Denumerations of rooted trees and multisets. Discret. Appl. Math. 6 (1) (1983)
N. G. de Bruijn
Sorting by means of swappings. Discret. Math. 9 (4) (1974)
N. G. de Bruijn
Enumeration of Mapping Patterns. J. Comb. Theory, Ser. A 12 (1) (1972)
N. G. de Bruijn
Additional comments on a problem in concurrent programming control. Commun. ACM 10 (3) (1967)