N. G. de Bruijn

15 papers A* 1B 1Journal 10Unranked 2
YearRankTypeTitle / Venue / Authors
2013 — ch.
Remarks on Penrose Tilings.
The Mathematics of Paul Erdős I
N. G. de Bruijn
2006 J jnl
Sum of a Series: 11131.
Am. Math. Mon.
N. G. de Bruijn, Rolf Richberg
2005 J jnl
Problem 11131.
Am. Math. Mon.
N. G. de Bruijn
2000 J jnl
Jaap Seidel 80.
Des. Codes Cryptogr.
N. G. de Bruijn
1999 A* conf
A Model for Associative Memory, a Basis for Thinking and Consciousness.
ICALP
N. G. de Bruijn
1998 B conf
Philosophical Aspects of Computerized Verification of Mathematics.
TABLEAUX
N. G. de Bruijn
1994 — conf
Highlighting the Lambda-free Fragment of Automath.
TPHOLs
N. G. de Bruijn
1992 J jnl
Penrose patterns are almost entirely determined by two points.
Discret. Math.
N. G. de Bruijn
1991 J jnl
Telescopic Mappings in Typed Lambda Calculus
Inf. Comput.
N. G. de Bruijn
1988 — conf
The use of justification systems for integrated semantics.
Conference on Computer Logic
N. G. de Bruijn
1984 J jnl
Some Machines Defined bu Directed Graphs.
Theor. Comput. Sci.
N. G. de Bruijn
1983 J jnl
Denumerations of rooted trees and multisets.
Discret. Appl. Math.
N. G. de Bruijn
1974 J jnl
Sorting by means of swappings.
Discret. Math.
N. G. de Bruijn
1972 J jnl
Enumeration of Mapping Patterns.
J. Comb. Theory A
N. G. de Bruijn
1967 J jnl
Additional comments on a problem in concurrent programming control.
Commun. ACM
N. G. de Bruijn